Position

I'm a Post-doctoral Researcher at the Faculty of Informatics, working with Prof. Natasha Sharygina.

Interests

Formal Methods, SAT, SMT, Decision procedures and their application to Hardware and Sofware Verification.