Luca Maio

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

My main research interests are dependent type theory, functional programming and mathematical logic.

I speak both German and English, feel free to message me with whatever language you prefer.

In German I am open to keep conversations informal, meaning using ‘du’ instead of ‘Sie’, depending on your preference.

You can send me email at <my first name>.<my last name>@ifi.lmu.de or message me on Zulip, make sure to message @Luca Maio (IfI) there.

My office is room L 101, Oettingenstraße 67.