研究兴趣
软件模型检查，可满足性模理论，克雷格插值
研究项目
- 支持SMTInterpol中的量化片段
- 具有映射/数组的程序的抽象解释
- 将跟踪抽象（最终自动分析器）推广到Horn子句
- 研究验证数据流图的应用
- 终极程序分析框架、基础设施：将C程序转换为Boogie程序
- SMTInterpol中的插值
- 终极Kojak软件模型检查器
出版物
http://dblp.org/pers/hd/n/Nutz:亚历山大
迪奇、海兹曼、霍尼克、纳茨、波德尔斯基。不同用途的不同地图（2019）[预印本]
论文
工具
实习
- Microsoft Research，班加罗尔。处理该主题Angelic验证与Akash Lal。
- 亚马逊网络服务，纽约市，与Martin Schäf。
专业活动
- 2014年-2016年和2018年SV-COP评审团成员
项目
咨询时间
如果你想确定我当时在那里并且有空，请过来给我写封电子邮件。教学
2012年夏季学期
协助自动机理论（研讨会）和决策程序（讲座）
2012/2013年冬季学期
协助网络物理系统I——模型检查（讲座）
2013年夏季学期
协助决策程序（讲座）
2013/2014年冬季学期
协助Informatik III（理论信息学）（讲座）
2014年夏季学期
协助《信息学》中的埃因弗龙（讲座）
2014/2015年冬季学期
协助Informatik III（理论信息学）（讲座）
2015年夏季学期
研讨会自动机理论和项目分析以及马蒂亚斯·海兹曼和克里斯蒂安·席林
2015/2016冬季学期
协助决策程序（讲座）
2016年夏季学期
研讨会自动机理论以及项目分析以及马蒂亚斯·海兹曼和克里斯蒂安·席林
2016/2017冬季学期
研讨会自动机理论以及项目分析和Christian Schilling一起
2017年夏季学期
研讨会自动机理论以及项目分析以及马蒂亚斯·海兹曼和克里斯蒂安·席林
援助Java的形式化方法（讲座）
2017/2018冬季学期
研讨会自动机理论以及项目分析和Christian Schilling一起
2018年夏季学期
与Marius Greitschus、Matthias Heizmann和Christian Schilling合办的自动化理论和程序分析研讨会
2018/19学年冬季学期
Informatik援助III（理论信息学）（讲座）
与Daniel Dietsch、Vincent Langenfeld和Matthias Heizmann合办的自动化理论和程序分析研讨会
