Tanguy Bozec

I'm a PhD student in Theoretical Computer Science and Theorem Proving at LMU Munich under the supervision of Jasmin Blanchette.

I am currently working on implementing trace logic reasoning in Why3.

You can find a list of my publications here.

I speak French and English. Feel free to address me by my first name. My pronouns are he/him.

You can email me at <my first name>.<my last name>@ifi.lmu.de.

My office is room G U112, Oettingenstraße 67.