I am a postdoctoral researcher in the group
Verification meets Algorithm Engineering
at the Institute for Theoretical Computer Science of the
University of Karlsruhe
/
KIT.
I received my Ph.D. supervised by Prof. Dr. Hans Zantema at TU/e. My thesis "Decision Procedures for Equality Logic with Uninterpreted Functions" can be found here: PDF.
Research interests: verification of hybrid systems, propositional proof complexity, verification of business processes
Homepage of Olga Tveretina
