Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Dybjer Peter

Title Professor
Academic Institution Chalmers University of Technology & University of Gothenburg
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