Gordon Plotkin

Gordon Plotkin

male, 63 years old
Jewish, operational semantics, Gordon D. Plotkin FRS, denotational semantics, Member of Academia Europaea, A Structural Approach to Operational Semantics…Formalmethods
Gordon D. Plotkin FRS (born, in Glasgow, 9 September 1946) is a Scottish computer scientist. Gordon Plotkin is best-known for his introduction of...
Patrick Cousot

Patrick Cousot

male, 61 years old
Avionics, Ecole Normale Superieure, airbus, chevalier, eads, computer scientist…Formalmethods
Patrick Cousot is a French computer scientist. Cousot is the originator of abstract interpretation, an influential technique in formal methods. In...
Samson Abramsky

Samson Abramsky

male, 56 years old
FRS, professor, Queen Mary, University of London, GEC, Royal Society, Alumni of Queen Mary, University of London…Formalmethods
Professor Samson Abramsky FRS (born March 12, 1953) is a computer scientist. Since the Year 2000, he has been a Fellow of the Royal Society of...
David Parnas

David Parnas

male, 68 years old (Hamilton, Ontario , Canada)
software engineering, computer scientist, object oriented, professor, McMaster University faculty, mcmaster university…Formalmethods
David Lorge Parnas (born February 10, 1941) is an early pioneer of software engineering who developed the concept of module design which is the...
Zhou Chaochen

Zhou Chaochen

male, 72 years old
real-time computing, Technical University of Denmark, macau, Member of Oxford University Computing Laboratory, peking university, real-time…Formalmethods
Zhou Chaochen (born November 1, 1937) is a Chinese computer scientist. Chaochen is a professor from Beijing, China. He studied as an undergraduate...
Edsger W. Dijkstra

Edsger W. Dijkstra

male, deceased (2002)
Turing Award laureate, A. C. M. Turing Award, Leiden University alumni, Fellow of the Association for Computing Machinery, Programming language designer, computer scientist…Formalmethods
Edsger Wybe Dijkstra (May 11, 1930 - August 6, 2002); IPA:) was a Dutch computer scientist. He received the 1972 A. C. M. Turing Award for...
Tom Maibaum

Tom Maibaum

male, 62 years old (Hamilton, Ontario , Canada)
professor, mcmaster university, Academic of Imperial College London, Fellow of the Royal Society of Arts, computer scientist, university of toronto…Formalmethods
Prof. Tom Maibaum (born 18 August 1947 in Hungary) is a British-Canadian computer scientist. Maibaum has an undergraduate degree in Pure...
Andrew D. Gordon

Andrew D. Gordon

male
computer scientist, Spi Calculus, Martin Abadi, Ambient calculus, Formalmethods, University of Cambridge Computer Laboratory
Andrew D. Gordon is a British computer scientist. Gordon is the co-designer of Spi Calculus (with Martin Abadi), Ambient calculus (Luca Cardelli),...
Ole-Johan Dahl

Ole-Johan Dahl

male, deceased (2002)
Edsger Dijkstra, simulation, computer pioneer, computer scientist, Turing Award laureate, object-oriented programming…Methods, Formalmethods
Ole-Johan Dahl was a Norwegian computer scientist and is considered to be one of the fathers of Simula and object-oriented programming along with...
Egon Börger

Egon Börger

male, 63 years old
Louvain alumni, University of Münster, Italian, University of Paris, verification, university of pisa…Formalmethods, formal method
Egon Börger is a German-born computer scientist based in Italy. Professor Egon Börger was born in Bad Laer, Lower Saxony, Germany. He studied at th...