You are here: Home Team Dr. Mathias Fleury

Dr. Mathias Fleury

Name Mathias Fleury
Address Faculty of Engineering
University of Freiburg
Georges Köhler Allee, Gebäude 51
79110 Freiburg im Breisgau
Office Building 51, Room 01..030
Phone +49 761 203-8140
Fax +49 761 203-8142


I am a Postdoc working with Armin Biere on SAT and verification in Isabelle. Please look at my other webpage for my publications and more information on my research.