[ publications |
research | academic-duties | office | contact |
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
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.
In 2019, I was in the PC of the PxTP workshop, colocated
with CADE-27. In 2021, I will the co-chair of PxTP.