Eric Finster

I am an associate professor in the School of Computer Science at the University of Birmingham.

My main interests are type theories, constructive mathematics, and the connection of these subjects with homotopy theory and higher category theory. I was a member of the Univalent Foundations program at the Institute for Advanced Study in 2012 and am a coauthor of the Homotopy Type Theory book.

I teach a Functional Programming module for 2nd year computer science students where learn Haskell. And I teach a 3rd year elective course in which we learn Agda. I am additionally responsible for the final year computer science projects.

Before joining the University of Birmingham, I held postdocs at the Ecole Polytechnique, and IRIF in Paris. I completed my PhD in mathematics at the University of Virginia under the supervision of Dr. Gregory Arone.