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
Address:
Drammensveien 78
0271 Oslo
Norway
 
Phone:
+47 22 12 25 00
 
E-mail:
cas@cas.oslo.no
Office hours:
09.00 - 14.45