Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Benedikt Ahrens

Title Assistant Professor
Academic Institution University of Birmingham
Academic department School of Computer Science
Country United Kingdom
Contact Information +44 121 414 3711 https://benediktahrens.net
Disciplines Computer Science
Area(s) of Expertise Type theory, computer theorem proving

CAS Project

LOGO