福勒工程学院教授
电子邮件: akurz@350store.com
http://alexhkurz.github.io
教育/培训
2000
Ph.D. 计算机科学系. 德国慕尼黑路德维希-马克西米利安大学计算机科学系
1995
德国慕尼黑工业大学信息学博士
1991
法国格勒诺布尔大学信息学硕士
研究兴趣
库尔兹博士使用逻辑技术研究计算模型, 代数, 拓扑结构, 范畴论和其他数学领域. 他以模态逻辑和余代数的研究而闻名. 最近,他一直在研究用于异构系统规范和验证的定量逻辑基础,以及支持基于区块链技术的可扩展解决方案的关系和组合技术. 他对这些数学技术在计算机科学之外的应用也很感兴趣, 特别是在经济、政治和社会科学方面.