Nicolai Kraus
Description: Ulrik Buchholtz
Together with Marc Bezem, Pierre Cagne, Bjørn Dundas, and Dan Grayson, I'm writing a book on group theory from the perspective of univalent mathematics and homotopy type theory. Working title: Symmetry
Various expository and research talks I've given:
December 6, 2013 I finished my PhD thesis at Stanford University under the direction of Solomon Feferman . You can download my thesis here: Unfolding of Systems of Inductive Definitions . If you want a paper version, it can be acquired cheaply from amazon.com , amazon.co.uk , amazon.de , and other book sellers.
Nicolai Kraus