Alexander Nutz
 |
Alexander Nutz University of Freiburg Georges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-018 |
Research Interests
Software model checking, satisfiability modulo theories, Craig interpolation
Research Projects
- Support for quantified fragments in SMTInterpol
- Abstract Interpretation for programs with maps/arrays
- Generalizing Trace Abstraction (Ultimate Automizer) to Horn clauses
- Investigating applications of data flow graphs for verification
- Ultimate program analysis framework, infrastructure: translating C programs to Boogie programs
- Interpolation in SMTInterpol
- Ultimate Kojak software model checker
Publications
http://dblp.org/pers/hd/n/Nutz:Alexander
Dietsch, Heizmann, Hoenicke, Nutz, Podelski. Different Maps for Different Uses (2019) [preprint]
Tools
- SMTInterpol: (home page) (github)
- Ultimate: (home page, with web frontend) (github)
Internships
- Microsoft Research, Bangalore. Working on the topic Angelic Verification, with Akash Lal.
- Amazon Web Services, New York City, with Martin Schäf.
Professional Activities
- SV-COMP Jury member, 2014-2016, 2018
Projects
Consultation Hours
Just come by, write me an e-mail if you want to make sure I am there and available at the time.Teaching
Summer semester 2012
assistance for Automata Theory (Seminar) and Decision Procedures (Lecture)
Winter semester 2012/2013
assistance for Cyber-Physical-Systems I -- Model Checking (Lecture)
Summer semester 2013
assistance for Decision Procedures (Lecture)
Winter semester 2013/2014
assistance for Informatik III (Theoretische Informatik) (Lecture)
Summer semester 2014
assistance for Einführung in die Informatik (Lecture)
Winter semester 2014/2015
assistance for Informatik III (Theoretische Informatik) (Lecture)
Summer semester 2015
Seminars Automata Theory and Program Analysis, together with Matthias Heizmann and Christian Schilling
Winter semester 2015/2016
assistance for Decision Procedures (Lecture)
Summer semester 2016
Seminars Automata Theory and Program Analysis, together with Matthias Heizmann and Christian Schilling
Winter semester 2016/2017
Seminars Automata Theory and Program Analysis, together with Christian Schilling
Summer semester 2017
Seminars Automata Theory and Program Analysis, together with Matthias Heizmann and Christian Schilling
assistance for Formal Methods for Java (Lecture)
Winter semester 2017/2018
Seminars Automata Theory and Program Analysis, together with Christian Schilling
Summer semester 2018
Seminars in Automata Theory and Program Analysis, together with Marius Greitschus, Matthias Heizmann and Christian Schilling
Winter semester 2018/19
Assistance for Informatik III (Theoretische Informatik) (Lecture)
Seminars in Automata Theory and Program Analysis, together with Daniel Dietsch, Vincent Langenfeld and Matthias Heizmann