About me

My name is Guillaume Brunerie and I’m a researcher in mathematics and 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).

I am currently a postdoctoral researcher in the Logic Group of Stockholm University since September 2018.

Previously, I was a postdoctoral member of the School of Mathematics of the Institute for Advanced Study in Princeton, New Jersey.

(last updated in April 2019)

Curriculum Vitae, papers and talks


You can find my full CV here.

PhD thesis

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.


Preprints and other writings of interest

Slides of talks

Videos of talks

Others writings

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 GitHub page.


You can contact me by email at the address .