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.