Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Benedikt Ahrens

Title Dr.
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