[ publications |
research | office | contact |
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
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.