« October 2018 »
October
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
293031
Uni-Logo
You are here: Home Team Alexander Nutz
Document Actions

Alexander Nutz

 

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

     Tools

    Internships

    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

    Personal tools