Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Dybjer Peter

Title Professor
Academic Institution Chalmers University of Technology
Academic department Computer Science and Engineering
Country Sweden
Contact Information +46-729744763 http://www.cse.chalmers.se/~peterd/
Disciplines Computer Science
Area(s) of Expertise type theory, proof assistants, logics and semantics of programs, applications of category theory to programming

CAS Project

LOGO