![JKU](https://fmv.jku.at/jkulogo.png)
TNF
/ INF
team
contact
software
publications
teaching
jobs
![GI-Dissertation Award 2020](https://fmv.jku.at/gi-dissertationaward-2020-icon.png)
![FMCAD'20 Student Forum Best Student Contribution](https://fmv.jku.at/fmcad20-phd-forum-best-contribution-icon.jpg)
![SAT'20 Best Presentation Award](https://fmv.jku.at/best-presentation-award-SAT20-icon.jpg)
![GCAI'19 Post and Interaction Award](https://fmv.jku.at/gcai19certificate-icon.jpg)
![IJCAI-JAIR 2019 Award](https://fmv.jku.at/ijcai-jair-2019-award-icon.jpg)
![SAT'19 Best Student Paper](https://fmv.jku.at/sat19-best-student-paper-award-icon.jpg)
![CAV'18 Award](https://fmv.jku.at/bmc/cav18award-icon.png)
![HVC'17 Best Paper](https://fmv.jku.at/hvc17-best-paper-award-icon.jpg)
![ETAPS'17 Test of Time Award](https://fmv.jku.at/etaps2017totaward.jpg)
![HVC'15 Award](https://fmv.jku.at/hvc15awardicon.jpg)
![FMCAD'17 Best Paper](https://fmv.jku.at/fmcad17-best-paper-award-icon.jpg)
![CADE'17 Best Paper](https://fmv.jku.at/cade17-best-paper-award-icon.jpg)
![BMC](https://fmv.jku.at/award-most-influential-paper-in-the-first-20-years-of-tacas-small.jpg)
![Handbook of Satisfiability](https://fmv.jku.at/hbsat.png)
![UML@Classroom](https://fmv.jku.at/uml-en.png)
![UML@Classroom](https://fmv.jku.at/uml-de.png)
![www.digitaltechnik.org](https://fmv.jku.at/dtbook.png)
|
[ publications |
talks |
duties |
research | office | contact |
address ]
From September 2019 to October 2021, I was working within the JKU
AI Project, in the AI LIT project. Since that I moved to the University of
Freiburg where you can find a more up-to-date version. My
PhD
thesis is about my formalisation of the conflict-driven clause
learning and a verification of an implementation of it in the
theorem prover Isabelle.
My interests go from increasing the trust of automated theorem
provers like SAT solver by proving their correctness in a proof
assistant to reduce the amount of work required to do so by
checking proofs produced by such tools.
|