CURT NIMUENDAJÚ, 1883-1945

Thoughts About Greg Curt

Mytreasuredfriendandcolleagueformanyyears,GregCurt,died of lungcanceron July31stof2016,anabruptendtoa lifedevoted to curing cancer. His impact on our field deserves our admiration and respect, and will be recounted below. His friendship and loyalty to his many colleagues in industry, government, and academia remind us of the strong personal ties that grow as we worktogethertowardthiscommongoal....

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...

2015 Curt Stern Award.

Thank you, Elaine, for that wonderful introduction and for all the support from the beginning of my faculty career. It’s a tremendous honor to be recognized with the Curt Stern Award by the ASHG, and I’d like to express my gratitude to the Awards Committee for this recognition. An award is really invested with meaning by its past recipients, and I encourage you to take a look at the list of pas...

2013 Curt Stern Award Address1

Thank you, Haig, for the poignant introduction and kind words. I would also like to thank Jeff Murray, The American Society of Human Genetics (ASHG), the members of the Awards Committee, and especially Christopher Pearson. I first learned that I was the recipient of the 2013 Curt Stern Award from Christopher when I was on vacation with my family in San Francisco. I was pleasantly surprised and,...

Leonard Colebrook, 1883-1967.