CV

Contact Information

Name Lydia Kondylidou
Professional Title PhD Student in Theoretical Computer Science at LMU
Email l.kondylidou@lmu.de

Experience

  • 2022 - 2023

    Dresden, Germany

    Software Developer
    Scontain GmbH
    • Backend programming in Rust
    • Code reviews in Rust and Java
    • Testing
  • 2017 - 2017

    Munich, Germany

    Working Student Cyber Security
    Siemens
    • Vulnerability management
  • 2016 - 2016

    Munich, Germany

    Working Student Information Technology
    BMW Group
    • KPI tools
    • Dynamic web projects
    • Java applications
    • Database reporting (Oracle)

Education

  • 2023 -

    Munich, Germany

    PhD
    Ludwig Maximilian University of Munich
    Computer Science
    • Higher-order SMT
    • Proof minimization
  • 2020 - 2023

    Munich, Germany

    Master of Science
    Ludwig Maximilian University of Munich
    Computer Science
  • 2014 - 2021

    Munich, Germany

    Bachelor of Science
    Ludwig Maximilian University of Munich
    Computer Science + Mathematics
  • 2013 - 2014

    Athens, Greece

    Bachelor of Science
    National and Kapodistrian University of Athens
    Mathematics

Languages

Greek : Native
English : Fluent
German : Fluent
Spanish : Fluent

Interests

Hobbies: Snowboard, Surf, Tango

Teaching

  • WS25/26
    SMT Seminar
    Ludwig Maximilian University of Munich, Munich, Germany
    SMT Seminar WS25/26
  • WS25/26
    Automated Theorem Proving - Tutorial
    Ludwig Maximilian University of Munich, Munich, Germany
    ATP WS25/26
  • SS25
    Cryptography Practical Course
    Ludwig Maximilian University of Munich, Munich, Germany
    Cryptography SS25
  • WS24/25
    Automated Theorem Proving - Tutorial
    Ludwig Maximilian University of Munich, Munich, Germany
    ATP WS24/25
  • WS24/25
    Softwareentwicklungspraktikum für Informatik im Nebenfach
    Ludwig Maximilian University of Munich, Munich, Germany
  • SS24
    Cryptography Practical Course
    Ludwig Maximilian University of Munich, Munich, Germany
    Cryptography SS24
  • WS23/24
    Softwareentwicklungspraktikum für Informatik im Nebenfach
    Ludwig Maximilian University of Munich, Munich, Germany
    SEPNF WS23/24
  • WS23/24
    SAT Solving - Tutorial
    Ludwig Maximilian University of Munich, Munich, Germany
    SAT WS23/24
  • SS22
    Programming and Modelling with Haskell - Tutorial
    Ludwig Maximilian University of Munich, Munich, Germany
  • SS22
    Logic and Discrete Structures - Tutorial
    Ludwig Maximilian University of Munich, Munich, Germany
  • WS21/22
    SAT Solving - Tutorial
    Ludwig Maximilian University of Munich, Munich, Germany
    SAT WS21/22
  • SS21
    Programming and Modelling with Haskell - Tutorial
    Ludwig Maximilian University of Munich, Munich, Germany
  • SS21
    Logic and Discrete Structures - Tutorial
    Ludwig Maximilian University of Munich, Munich, Germany
  • WS20/21
    Functional Programming - Tutorial
    Technical University of Munich, Munich, Germany
  • SS20
    Programming and Modelling with Haskell - Tutorial
    Ludwig Maximilian University of Munich, Munich, Germany
  • WS19/20
    Introduction to Computer Science with Java - Tutorial
    Ludwig Maximilian University of Munich, Munich, Germany

Supervision