About me

My name is Guillaume Brunerie and I’m a researcher in mathematics and in computer science working mainly in homotopy type theory, a field combining mathematics (in particular homotopy theory, category theory, and constructive mathematics) and theoretical computer science (in particular type theory, logic, and proof assistants).

Currently, I have a two-year postdoctoral position in the School of Mathematics of the Institute for Advanced Study, Princeton, NJ, USA.

Curriculum Vitae, papers and talks

Here is my curriculum vitae, in reverse chronological order.

Postdoc at the IAS (2016 — 2018)

Since September 2016, I have a two-year postdoctoral membership at the Institute for Advanced Study with Vladimir Voevodsky. I am mainly working on formalizing the content of my PhD thesis in Agda, and also on developping more invariant homotopy theory (synthetic homotopy theory) in homotopy type theory.

I gave a short talk at the beginning of the year:

PhD at the university of Nice (2013 — 2016)

From September 2013 to August 2016, I was a PhD student at the Laboratoire J.A. Dieudonné under the supervision of Carlos Simpson. I successfully defended my thesis on June 15th 2016.

During this time I also wrote two articles with Dan Licata:

I gave a 7-hour long mini-course on homotopy type theory :

And I gave 16 other talks:

Studies at the ENS Ulm (2009 — 2013)

From September 2009 to August 2013, I was a student in the Département de Mathématiques et Applications of the École Normale Supérieure de la rue d’Ulm.

Special year at the IAS (2012 — 2013)

From September 2012 to June 2013, a special year on the univalent foundations of mathematics, was coorganized at the Institute for Advanced Study by Steve Awodey, Thierry Coquand and Vladimir Voevodsky. Thanks to the organizers of the special year and to the ENS, I was able to participate for the full year.

During that year, I gave 9 talks:

Before the special year at the IAS, I gave 4 sequences of talks in Paris:

Studies at the lycée Louis-le-Grand (2007 — 2009)

From September 2007 to June 2009, I was a student in classes préparatoires (MPSI and MP*) at the lycée Louis-le-Grand. I did my TIPE on the relation between the complement of the trefoil knot in S3 and the space of unitary lattices of 2:

And I gave a talk on Gödel’s completeness theorem:

Other interests

I’m also interested in programming and free software, and I have some experience with various programming languages like OCaml, Javascript, C, Lua, Python, shell scripting. Some of my projects are available on my page on GitHub.


You can contact me by email at the address .