Lydia Kondylidou

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

prof_pic.jpg

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.

contact

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

news

publications

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