John C. Reynolds

John C. Reynolds

John C. Reynolds is an American computer scientist (born June 1, 1935).

John Reynolds studied at Purdue University and then earned a PhD in theoretical physics from Harvard University in 1961. He was Professor of Information science at Syracuse University from 1970 to 1986. Since then he has been Professor of Computer Science at Carnegie Mellon University. He has held visiting positions at Aarhus University (Denmark), University of Edinburgh, Imperial College London,
Microsoft Research (Cambridge) and Queen Mary, University of London (UK).

Reynolds' main research interest is in the area of programming language design and associated specification languages, especially concerning formal semantics. He discovered polymorphic lambda calculus and formulated the property of semantic parametricity; the same calculus was independently discovered by Jean-Yves Girard. He wrote a seminal paper on definitional interpreters, which clarified early work on continuations and introduced the technique of defunctionalization. He defined the programming languages Gedanken and Forsythe. He has worked on a separation logic to describe and reason about shared mutable data structures.

He has been an editor of journals such as the Communications of the ACM and the Journal of the ACM. In 2001, he was appointed a Fellow of the ACM. He won the ACM SIGPLAN Programming Language Achievement Award in 2003.

Books

* "Theories of Programming Languages", Cambridge University Press, 1998. ISBN 0-521-59414-6
* "The Craft of Programming", Prentice Hall International, 1981. ISBN 0-13-188862-5

External links

* [http://www.cs.cmu.edu/~jcr/ Home page]
* [http://www.cs.cmu.edu/~jcr/vita.ps Curriculum Vitae] (PostScript format)
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reynolds:John_C=.html DBLP publications]
* [http://www.informatik.uni-trier.de/~ley/db/journals/tcs/tcs375.html Festschrift for his 70th birthday] , edited by Olivier Danvy, Peter O'Hearn and Philip Wadler
*" [http://vmoc.museophile.org/pvs04/ Program Verification and Semantics: Further Work] " (London, 2004)


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • John W. Reynolds — (* 4. April 1921 in Green Bay, Wisconsin; † 6. Januar 2002 in Milwaukee, Wisconsin) war ein US amerikanischer Jurist und Politiker und von 1963 bis 1965 der 36. Gouverneur des …   Deutsch Wikipedia

  • John Merriman Reynolds — (March 5, 1848 ndash;September 14, 1933) was a U.S. Representative from the state of Pennsylvania. Early lifeReynolds was born in Lancaster County, Pennsylvania, near Quarryville, Pennsylvania about twelve miles south of the city of Lancaster to… …   Wikipedia

  • John Myrdhin Reynolds — John Myrdhin Reynolds, whose initiated name is Vajranatha (or Rigdzin Dorje Gonpo ) is a scholar, linguist, author, translator, mystic and initiated ngagpa of the Nyingmapa. Reynolds has made a special study of Dzogchen and the Buddhist Tantras,… …   Wikipedia

  • John Henry Reynolds — can refer to:*John Henry Reynolds (educator) (1842 1927) *John Henry Reynolds (astronomer) (1874 1949) …   Wikipedia

  • John C. Reynolds — John C. Reynolds. John C. Reynolds, (n. el 1 de junio de 1935), es un científico estadounidense especializado en las ciencias de la computación y de sistemas de información. Reynolds estudió primeramente en la Universidad Purdue para luego… …   Wikipedia Español

  • John Hazard Reynolds — (June 21 1819 ndash; July 1 1875) was a U.S. Representative from the state of New York. Reynolds was born in Moriah, New York, and attended the public schools in Sandy Hill, New York (now Hudson Falls) and Bennington, Vermont. He engaged in civil …   Wikipedia

  • John Russell Reynolds — (* 1828; † 1896) war ein britischer Neurologe. Er war einer der ersten, die sich ausführlich mit dem Verhalten von Epilepsiepatienten befasste. Er zweifelte an der vorherrschenden These, dass ernsthafte Geisteserkrankungen und Epilepsie fast… …   Deutsch Wikipedia

  • John F. Reynolds — Infobox Military Person name=John Fulton Reynolds born= birth date|1820|9|20 died= death date and age|1863|7|1|1820|9|20 placeofbirth=Lancaster, Pennsylvania placeofdeath=Gettysburg, Pennsylvania placeofburial= caption=Major General John F.… …   Wikipedia

  • John F. Reynolds — Major General John Fulton Reynolds Reiterstatue Reynolds im Gettysburg National Military Park John Fulton Reynolds (* 20. September 1820 in …   Deutsch Wikipedia

  • John Fulton Reynolds — Major General John Fulton Reynolds Reiterstatue Reynolds im Gettysburg National Military …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”