Don Sannella

male
professor, University of Edinburgh School of Informatics, Formal methods, theoretical computer science, formal, Laboratory for Foundations of Computer Science…Functionalprogramming
Don Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of...

Dr. Paul Callaghan

male
computer scientist, code reuse, ambiguous grammars, subtyping, Type theory, Alumni of Durham University…Functionalprogramming
Dr. Paul Callaghan is a lecturer in the Department of Computer Science at Durham University. Paul Callaghan completed both his B.Sc. and his Ph.D....
Richard S. Bird

Richard S. Bird

male, 66 years old
computer scientist, Journal of Functional Programming, Algorithm Design, Bird-Meertens Formalism, Oxford University Computing Laboratory, Fellow of Lincoln College, Oxford…Functionalprogramming
Prof. Richard S. Bird (born 1943, London) is a Fellow of Computation at Lincoln College, Oxford, England, and former director of Oxford University...
Richard O'Keefe

Richard O'Keefe

male
computer scientist, Richard A. O'Keefe, The Craft of Prolog, Prolog programming language, Erlang programming language, logic programming…Functionalprogramming
Dr Richard A. O'Keefe is a computer scientist, currently working in Department of Computer Science, University of Otago, Dunedin, New Zealand. He...

Gérard Berry

male, 61 years old
ESTEREL TECHNOLOGIES, computer scientist, lambda calculus, French Academy of Technologies, synchronous digital circuit, Gérard Philippe Berry…parallel programming, Functionalprogramming, programming language
Gérard Philippe Berry is a French computer scientist, member of French Academy of Sciences (Académie des sciences), French Academy of Te...
Corrado Böhm

Corrado Böhm

male, 86 years old
computer pioneer, computer scientist, Italian, structured programming, Functionalprogramming, University of Rome "La Sapienza"
Corrado Böhm, Professor Emeritus at the University of Rome "La Sapienza", is a computer scientist known especially for his contributions to the t...