"Formal methods" page 4

Dana Scott male, 77 years old: Turing Award laureate, University of California, Berkeley faculty, University of California, Berkeley alumni, Rolf Schock Prize laureate, Fellow of the Association for Computing Machinery, Erdős number 2…Formalmethods, Logical Methods in Computer Science; Dana Stewart Scott (born 1932) is the emeritus "Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic" at Carnegie...

Niklaus Wirth male, 75 years old: Turing Award, Fellow of the Association for Computing Machinery, Formalmethods, Niklaus E. Wirth, software engineering, programming language; Niklaus E. Wirth (b. February 15, 1934) is a Swiss computer scientist, best known for designing several programming languages, including Pascal,...

Donald Knuth male, 71 years old (Stanford, California, United States): computer scientist, Turing Award laureate, mathematician, Emacs user, The Art of Computer Programming, computer pioneer…Formalmethods; Don's father was a Lutheran school teacher and church organist. Don studied piano, and for a brief time organ, through high school. Later as a...

Dines Bjørner male, 72 years old: Fellow of the Association for Computing Machinery, Association for Computing Machinery, Fellow of the IEEE, Academic, IEEE, macau…Formalmethods, Formal Methods Europe, Formal Techniques Industry Association; Dines Bjørner in Macau during the 1990s. His "magnum opus" on software engineering (three volumes) appears in 2005/6 (see details below). To s...

Ursula Martin female: computer scientist, Academic of the University of St Andrews, Alumni of the University of Warwick, Academic of Royal Holloway, University of London, Royal Holloway, University of London, Academic of the University of Manchester…Formalmethods, Formal Aspects of Computing; Ursula Martin is a British computer scientist. She is Vice-Principal of Science and Engineering at Queen Mary, University of London and a Professor...

Matthew Hennessy male: computer scientist, Formalmethods, programming language, programming, mobile computing, distributed computing; Matthew Hennessy is a British computer scientist who has contributed especially to language semantics. Hennessy is Professor of Computer Science at...

Kevin Lano male: unified modeling language, UML, Formalmethods, Advanced Systems Design with Java, UML and MDA, Uncategorised; Kevin Lano was one of the originators of formal object-oriented techniques, and developed a combination of UML and formal methods in a number of...

John Guttag male (Lexington, Massachusetts, United States): Massachusetts Institute of Technology faculty, Massachusetts Institute of Technology, Brown University alumni, computer scientist, American, Fellow of the Association for Computing Machinery…Formalmethods; John Guttag is a Professor in MIT's Department of Electrical Engineering and Computer Science. He has served as that department's Associate...

Alonzo Church male, deceased (1995): post-doctoral fellowship, Ph.D., mathematician, Princeton University alumni, Princeton University faculty, American…Formalmethods; Alonzo Church was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science. Born in...

Peter Mosses male: Oxford University, operational semantics, Formalmethods, Alumni of Wolfson College, Oxford, Academic of Swansea University, Programming Research Group; Peter D. Mosses is a British computer scientist. Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to...

		Advanced »
Find hidden pictures and profiles of all your friends. Click Here