Mathias Fleury


JKU

TNF / INF

team
contact
software
publications
teaching
jobs


FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  publications | talks | research | academic-duties | office | contact | address ]

Mathias Fleury
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.

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.

Academic Duties

In 2019, I was in the PC of the PxTP workshop, colocated with CADE-27. In 2021, I will the co-chair of PxTP.

Office

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

Contact

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

Address

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