John C. Reynolds is a American computer scientist (born June 1, 1935). Computer science (informally: CS or compsci) is, in its most general sense, the study of computation and information processing, both in hardware and in software. ... June 1 is the 152nd day of the year in the Gregorian calendar (153rd in leap years), with 213 days remaining. ... 1935 was a common year starting on Tuesday (link will take you to calendar). ...

John Reynolds studied at Purdue University and then gained 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 Computre Science at Carnegie Mellon University. He has held visiting positions at Aarhus University (Denmark), University of Edinburgh, Imperial College and Queen Mary, University of London (UK). Purdue University is a public land-grant university system within the state of Indiana. ... PhD usually refers to the academic title Doctor of Philosophy PhD can also refer to the manga Phantasy Degree This is a disambiguation page — a list of pages that otherwise might share the same title. ... Theoretical physics is physics that employs mathematical models and abstractions rather than experimental processes. ... Harvard University is a private university in Cambridge, Massachusetts, USA, and a member of the Ivy League. ... 1961 was a common year starting on Sunday (link will take you to calendar). ... Information Science or Informatics is the science of information. ... Syracuse University Syracuse University (SU) is a prestigious private American research university. ... 1970 was a common year starting on Thursday. ... 1986 is a common year starting on Wednesday of the Gregorian calendar. ... Wikibooks Wikiversity has more about this subject: School of Computer Science Open Directory Project: Computer Science Downloadable Science and Computer Science books Collection of Computer Science Bibliographies Belief that title science in computer science is inappropriate Categories: Computer science ... Carnegie Mellon University Carnegie Mellon University is a private research university located in Pittsburgh, Pennsylvania. ... University of Aarhus The University of Aarhus is a university based in Århus, Denmark. ... The University of Edinburgh, founded in 1583, is a renowned centre for teaching and research in Edinburgh, Scotland. ... Royal School of Mines Entrance Imperial College London is a college of the University of London which focuses on science and technology, and is located in South Kensington in London. ... Queen Mary, University of London (QMUL) (until recently Queen Mary and Westfield College, University of London and still called that in its charter and occasionally still abbreviated to QMW) is the fourth largest College of the University of London. ...

Reynolds main research interest is in the area of programming language design and associated specification languages, especially concerning formal semantics. He has worked on a separation logic to describe and reason about shared mutable data structures. A programming language or computer language is a standardized communication technique for expressing instructions to a computer. ... A specification language is a formal language used in computer science. ... In the main, semantics (from the Greek semantikos, or significant meaning, derived from sema, sign) is the study of meaning, in some sense of that term. ... A binary tree, a simple type of branching linked data structure. ...

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. Communications of the ACM (CACM) is the flagship monthly magazine of the Association for Computing Machinery. ... The Association for Computing Machinery, or ACM, was founded in 1947 as the worlds first scientific and educational computing society. ... 2001: A Space Odyssey. ... The Association for Computing Machinery, or ACM, was founded in 1947 as the worlds first scientific and educational computing society. ...

Books

• Theories of Programming Languages, Cambridge University Press, 1998.
• The Craft of Programming, Prentice Hall International, 1981.

The headquarters of the Cambridge University Press, in Trumpington Street, Cambridge. ... Pearson can mean Pearson PLC the media conglomerate. ...

External links

• Home page
• Curriculum Vitae (PostScript format)
• DBLP publications
• Program Verification and Semantics: Further Work (London, 2004)