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 relevance filtering in Lean and a highly parallelisable algorithm for superposition calculus.

You can find a partial 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.