Related Research Articles
Sir Charles Antony Richard Hoare, also known as Tony Hoare or by his initials C. A. R. Hoare is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.
Alonzo Church was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.
Dana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has also worked on modal logic, topology, and category theory.
Crispin James Garth Wright is a British philosopher, who has written on neo-Fregean (neo-logicist) philosophy of mathematics, Wittgenstein's later philosophy, and on issues related to truth, realism, cognitivism, skepticism, knowledge, and objectivity. He is Professor of Philosophical Research at the University of Stirling, and taught previously at the University of St Andrews, University of Aberdeen, New York University, Princeton University and University of Michigan.
John Randolph Lucas was a British philosopher.
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance.
For other uses, see Chris Wallace (disambiguation).
Artur Konrad Ekert is a British-Polish professor of quantum physics at the Mathematical Institute, University of Oxford, professorial fellow in quantum physics and cryptography at Merton College, Oxford, Lee Kong Chian Centennial Professor at the National University of Singapore and the founding director of the Centre for Quantum Technologies (CQT). His research interests extend over most aspects of information processing in quantum-mechanical systems, with a focus on quantum communication and quantum computation. He is best known as one of the pioneers of quantum cryptography.
Joseph Amadee Goguen was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.
Prof Arthur Geoffrey Walker FRS FRSE was a British mathematician who made important contributions to physics and physical cosmology. Although he was an accomplished geometer, he is best remembered today for two important contributions to general relativity.
Anil Nerode is an American mathematician, known for his work in mathematical logic and for his many-decades tenure as a professor at Cornell University.
Ehud Hrushovski is a mathematical logician. He is a Merton Professor of Mathematical Logic at the University of Oxford and a Fellow of Merton College, Oxford. He was also Professor of Mathematics at the Hebrew University of Jerusalem.
John of Dumbleton was a member of the Dumbleton village community in Gloucestershire, a southwestern county in England. Although obscure, he is considered a significant English fourteenth-century philosopher for his contributions to logic, natural philosophy, and physics. Dumbleton’s masterwork is his Summa Logicae et Philosophiae Naturalis, likely to have been composed just before the time of his death.
Harry Roy Lewis is an American computer scientist, mathematician, and university administrator known for his research in computational logic, textbooks in theoretical computer science, and writings on computing, higher education, and technology. He is Gordon McKay Research Professor of Computer Science at Harvard University, and was Dean of Harvard College from 1995 to 2003.
Angus John Macintyre FRS, FRSE is a British mathematician and logician who is a leading figure in model theory, logic, and their applications in algebra, algebraic geometry, and number theory. He is Emeritus Professor of Mathematics, at Queen Mary University of London.
Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state machines.
Charles Leonard Hamblin was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy at the New South Wales University of Technology in Sydney.
John Lane Bell is an Anglo-Canadian philosopher, mathematician and logician. He is Professor Emeritus of Philosophy at the University of Western Ontario in Canada. His research includes such topics as set theory, model theory, lattice theory, modal logic, quantum logic, constructive mathematics, type theory, topos theory, infinitesimal analysis, spacetime theory, and the philosophy of mathematics. He is the author of more than 70 articles and of 13 books. In 2009, he was elected a Fellow of the Royal Society of Canada.
Rodney Graham Downey is a New Zealand and Australian mathematician and computer scientist, an emeritus professor in the School of Mathematics and Statistics at Victoria University of Wellington in New Zealand. He is known for his work in mathematical logic and computational complexity theory, and in particular for founding the field of parameterised complexity together with Michael Fellows.
David Bostock was a British philosopher and a Fellow of Merton College, Oxford.
References
- ↑ Monash University Staff Directory Archived 18 September 2008 at the Wayback Machine
- ↑ Levens, R.G.C., ed. (1964). Merton College Register 1900-1964. Oxford: Basil Blackwell. p. 521.
- ↑ Quondam Fellows at All Souls College, Oxford Archived 5 August 2010 at the Wayback Machine
- ↑ List of publications at philpapers.org
- ↑ John Newsome Crossley at the Mathematics Genealogy Project
- ↑ Hinston Brook
