
TNF
/ INF
team
contact
software
publications
teaching
jobs
















|
[ publications |
talks |
duties |
research | office | contact |
address ]
Since September 2019, I am working within the JKU AI Project, in
the AI LIT project. 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.
|