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.

Research Interests

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.

Office

Science Park 3, 2nd Floor, North-East Wing (2D) Room 0257

Contact

mathias.fleury@jku.at
https://fmv.jku.at/fleury

Address

Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria