Dr Nicolai Kraus

Dr Nicolai Kraus

School of Computer Science
Royal Society University Research Fellow

Contact details

Address
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

Dr Nicolai Kraus is a Royal Society University Research Fellow and a member of the Theory Group in the School of Computer Science.

Nicolai received his PhD in Computer Science from the University of Nottingham in 2015. Afterwards, he held postdoctoral research positions in Nottingham and at the Eötvös Loránd University in Budapest, before joining the University of Birmingham in October 2019.

Qualifications

PhD in Computer Science, University of Nottingham, 2015.

Research

Nicolai’s research lies in the intersection of mathematics and computer science. His interests are in logic and dependent type theory, especially homotopy type theory; category theory and higher dimensional category theory; formalised mathematics; and constructive mathematics in general.

Publications

Recent publications

Article

Capriotti, P & Kraus, N 2018, 'Univalent higher categories via complete Semi-Segal types', Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 44, pp. 44:1-11:29. https://doi.org/10.1145/3158132

Conference contribution

Altenkirch, T, Capriotti, P & Kraus, N 2016, Extending homotopy type theory with strict equality. in J-M Talbot & L Regnier (eds), 25th EACSL Annual Conference on Computer Science Logic 2016 (CSL 2016)., 21, Leibniz International Proceedings in Informatics, LIPIcs, vol. 62, Schloss Dagstuhl, pp. 21:1-21:17, 25th EACSL Annual Conference on Computer Science Logic, CSL 2016 and the 30th Workshop on Computer Science Logic, Marseille, France, 29/08/16. https://doi.org/10.4230/LIPIcs.CSL.2016.21

Kraus, N 2015, The general universal property of the propositional truncation. in H Herbelin, P Letouzey & M Sozeau (eds), 20th International Conference on Types for Proofs and Programs (TYPES 2014). Leibniz International Proceedings in Informatics, LIPIcs, vol. 39, Schloss Dagstuhl, pp. 111-145, 20th International Conference on Types for Proofs and Programs, TYPES 2014, Paris, France, 12/05/14. https://doi.org/10.4230/LIPIcs.TYPES.2014.111

Capriotti, P, Kraus, N & Vezzosi, A 2015, Functions out of higher truncations. in S Kreutzer (ed.), 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Leibniz International Proceedings in Informatics, LIPIcs, vol. 41, Schloss Dagstuhl, pp. 359-373, 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, Berlin, Germany, 7/09/15. https://doi.org/10.4230/LIPIcs.CSL.2015.359

View all publications in research portal