New PhD: Neha Lodha

Neha Lodha successfully defended her PhD thesis “SAT Approach to Decomposition” on June 18,, 2019. Congratulations!

Neha was was supervised by Stefan Szeider.

Neha was one of the first students who joined the Doctoral Program Logical Methods in Computer Science (LogiCS) where she was a student representative.

Celebration of Neha Lodha's successful PhD defense