David Reutter
Thibaut Benjamin
Description: Personal Blog
blog (28744) jekyll (1233) accent (394) eric finster (1)
I am a lecturer in computer science at the University of Birmingham. I grew up in Los Angeles, studied in Charlottesville, and presently live in Paris.
My main interests are higher category theory and homotopy theory, and applications of these subjects to computer science, particularly formal methods in software development and computer-assisted mathematics.
My formal training in mathematics was in homotopy theory, and I have worked extensively on the connection between this area of topology the theory of types , a discipline which goes by the name Homotopy Type Theory .
David Reutter
Thibaut Benjamin