Lydia Kondylidou

“Simplicity, carried to the extreme, becomes elegance.”— Jon Franklin


Hi! I’m Lydia Kondylidou, a PhD student at the department of Theoretical Computer Science and Theorem Proving of LMU under the supervision of Prof. Jasmin Blanchette.

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.


email L.<my last name>
office Room L 103, Oettingenstr. 67, 80538 Munich, Germany
github kondylidou



  1. Supporting a CDCL Sat Solver by BDD Methods - Masters Thesis
    Lydia Kondylidou
    Jan 2023