Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
Robert Harper
RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.
Carnegie Mellon University Pittsburgh PA