Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Benedikt Ahrens

Title PhD Candidate
Academic Institution University of Birmingham
Academic department School of Computer Science
Country United Kingdom
Contact Information +44 7482 799962 http://benedikt-ahrens.de
Disciplines Computer Science
Area(s) of Expertise Type theory, computer theorem proving

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