Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Benedikt Ahrens

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

CAS Project

LOGO