School of Computer Science
  
 

Coronavirus (COVID-19)

Read the University's advice and daily updates for staff, current students and prospective students

Image of Nicolai Kraus

Nicolai Kraus

Royal Society University Research Fellow & Associate Professor, Faculty of Science

Contact

Biography

Nicolai Kraus graduated from the University of Munich with degrees in mathematics and computer science in 2011. He completed a PhD at the University of Nottingham in 2015, for which he received the Ackermann Award (the outstanding dissertation award of the European Association for Computer Science Logic) after which he worked as a research fellow in Nottingham 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 Nottingham in May 2020.

Research Summary

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

Current Research

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).

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit:
www.nottingham.ac.uk/enquire