Lydia Kondylidou

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

You can send me email at <my first name>.<my last name>@lmu.de. I speak English, German, Spanish and Greek.

I’m interested in automated reasoning, particularly automated theorem proving and higher order logic. My PhD subject is achieving higher-order SMT solving by ensuring that extensions of SMT solvers natively support higher-order reasoning.

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

More information is available here.