Alexander Fuchs
Contact
(Former) PhD Student
Department of Computer Science
The University of Iowa
14 MacLean Hall
Iowa City, IA 52242, USA
Phone: (+1) (319) 335-1325
Fax: (+1) (319) 335-3624
Email: fuchs@cs.uiowa.edu
Office: 317 MLH
Education
I graduated from the University of Iowa with a PhD in October 2009.
I have a Diplom (comparable to M.S.) degree in computer science from the University of Koblenz-Landau in Germany,
and an M.S. in computer science from the University of Iowa,
see my curriculum vitae
(PDF,
HTML).
Research
My research interests currently include
automated reasoning, software verification,
formal methods (in software engineering),
and programming language foundations.
I mostly worked in the research group of
Prof. Tinelli
with focus on the theorem provers
Darwin
and
CVC3.
Professional Activities
Publications
-
Sava Krstić, Alexander Fuchs, Amit Goel, Jim Grundy, Cesare Tinelli.
Ground Interpolation for the Theory of Equality
Proceedings of 15th the Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2009.
[ Abstract
| BibTeX
| PDF
]
-
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli.
MELIA - Model Evolution With Linear Integer Arithmetic Constraints
Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2008.
[ Abstract
| BibTeX
| PDF
| Extended Version
| Slides (PDF)
]
-
Amit Goel, Sava Krstić, Alexander Fuchs.
Deciding Array Formulas with Frugal Axiom Instantiation
6th International Workshop on Satisfiability Modulo Theories (SMT), 2008.
[ Abstract
| BibTeX
| PDF
]
-
Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli.
Computing Finite Models by Reduction to Function-Free Clause Logic
Journal of Applied Logic (JAL), 2007.
[ Abstract
| BibTeX
| Preprint (PDF)
]
-
Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli.
Computing Finite Models by Reduction to Function-Free Clause Logic
Disproving Workshop at International Joint Conference on Automated Reasoning, 2006.
[ Abstract
| BibTeX
| PDF
| Slides (PDF)
]
-
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli.
Lemma Learning in the Model Evolution Calculus
Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2006.
[ Abstract
| BibTeX
| PDF
]
-
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli.
Implementing the Model Evolution Calculus
System description (version 1.1).
Special Issue of the International Journal of Artificial Intelligence Tools (IJAIT), 2005.
[ Abstract
| BibTeX
| Preprint (PDF)
]
-
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli.
Darwin - A Theorem Prover for the Model Evolution Calculus
System description (version ESFOR) at the IJCAR 2004 workshop
ESFOR (aka S4).
[ Abstract
| BibTeX
| PDF
| Slides (PDF)
]
Other Papers
-
Alexander Fuchs.
Evolving Model Evolution
PhD Dissertation, 2009.
[ PDF
]
-
Alexander Fuchs.
Finite Model Finding in First-Order Logic
PhD Comprehensive Exam, 2007.
[ Abstract
| BibTeX
| PDF
| Slides (PDF)
]
-
Alexander Fuchs.
Instantiation Based First-Order Calculi
PhD Qualifying Exam, 2006.
An introduction of the Model Evolution Calculus,
the Disconnection Tableaux Calculus,
and the Inst-Gen Calculus.
[ Abstract
| BibTeX
| PDF
| Slides (PDF)
]
-
Alexander Fuchs.
Darwin - A Theorem Prover for the Model Evolution Calculus
Master's thesis, 2004.
Extended system description and handbook (version 1.0).
[ Abstract
| BibTeX
| PDF
]
Alexander Fuchs