Professor of Theoretical Computer Science, and Royal Society University Research Fellow, Faculty of Science
Nicolai Kraus graduated from the University of Munich with degrees in mathematics and computer science in 2011. He completed a PhD at the ÀÖ²¥´«Ã½ in 2015, for which he received the Ackermann Award (the outstanding dissertation award of the European Association for Computer Science Logic). In the following years, he worked as a research fellow in ÀÖ²¥´«Ã½ and Budapest. In 2019, he was awarded a University Research Fellowship by the Royal Society and worked as a lecturer at the University of Birmingham, before returning to ÀÖ²¥´«Ã½ in May 2020. In 2023, he was awarded a €2M Consolidator Grant by the European Research Council.
Nicolai Kraus works on topics in the intersection of mathematics and computer science. His project funded by the Royal Society aims to connect two fields, namely the theories of higher-dimensional… read more
Nicolai Kraus works on topics in the intersection of mathematics and computer science. His project funded by the Royal Society aims to connect two fields, namely the theories of higher-dimensional categories (very general tools to structure mathematical data) and dependent type theories (certain functional programming languages with built-in correctness proofs).
Browser does not support script.
ÀÖ²¥´«Ã½Jubilee CampusWollaton Road ÀÖ²¥´«Ã½, NG8 1BB
For all enquires please visit: