Homepage

Arnaud Fietzke

Max-Planck-Institut für Informatik
Research Group 1: Automation of Logic
Building E1 5, Room 640
Campus E1 4
66123 Saarbrücken
Germany

Email: Get my email address via email
Phone: +49 681 9325 2916

Research Interests

First-Order Theorem Proving
Labelled Deduction

Education

November 2007 - present: Ph.D. student at the Max-Planck-Institut für Informatik
November 2007: M.Sc. in Computer Science, Saarland University
Title of Thesis: Labelled Splitting (supervisor: Prof. Dr. Christoph Weidenbach)
November 2006: B.Sc. in Computer Science, Saarland University
Title of Thesis: Learning Minimal Requirements for Compositional Verification (supervisor: Prof. Bernd Finkbeiner, PhD)

Publications

A. Fietzke, E. Kruglov, C. Weidenbach. Automatic Generation of Inductive Invariants by SUP(LA).
MPI Technical Report, 2012. [pdf]
A. Fietzke, E. Kruglov, C. Weidenbach. Automatic Generation of Invariants for Circular Derivations in SUP(LA).
In LPAR-18, LNCS 7180, Mérida, Venezuela, 2012.
A. Fietzke, C. Weidenbach. Superposition as a Decision Procedure for Timed Automata.
In Fourth International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2011, Beijing, China, 2011.
A. Fietzke, H. Hermanns and C. Weidenbach. Superposition-Based Analysis of First-Order Probabilistic Timed Automata.
In LPAR-17, LNCS 6397, Yogyakarta, Indonesia, 2010.
A. Fietzke and C. Weidenbach. Labelled Splitting.
In Annals of Mathematics and Artificial Intelligence, Volume 54, 1-3, 2009.
Weidenbach C., Dimova D., Fietzke A., Kumar R., Suda M. and Wischnewski P., 2009, SPASS Version 3.5.
In 22nd International Conference on Automated Deduction, CADE 2009, LNCS 5663, pp. 140-145.
A. Fietzke and C. Weidenbach. Labelled Splitting.
In IJCAR 2008, LNAI 5195, Sydney, Australia, 2008.
C. Benzmüller, L. Paulson, F. Theiss and A. Fietzke. LEO-II - A Cooperative Automatic Theorem Prover for Higher-Order Logic.
In IJCAR 2008, LNAI 5195, Sydney, Australia, 2008
C. Benzmüller, L. Paulson, F. Theiss and A. Fietzke. Progress Report on LEO-II – An Automatic Theorem Prover for Higher-Order Logic.
Emerging Trends at TPHOLs 2007, University Kaiserslautern, Germany, 2007.
C. Benzmüller, L. Paulson, F. Theiss and A. Fietzke. The LEO-II Project.
In Proceedings of the 14th Workshop on Automated Reasoning, Imperial College, London, England, 2007.

Private

Private homepage (with photos)
An illustration of Benford's Law