About

I am a postdoctoral researcher at CIIRC (CTU) in the group of Mikoláš Janota, working in the area of automated reasoning: on theorem proving, SMT-solving, and program synthesis. I am a part of the developer team for the theorem prover Vampire.

I defended my PhD in 2024 at TU Wien, supervised by Laura Kovács and co-supervised by Andrei Voronkov. My thesis was on Inductive Reasoning in Superposition.

Publications

See DBLP or Google Scholar.

Contact

E-mail: name.surname@cvut.cz