卡斯滕·辛兹

欢迎访问我的网页！

我是一名计算机科学家，目前担任研究小组组长“验证符合算法工程”在理论计算机科学研究所属于卡尔斯鲁厄理工学院，德国。在此之前，我一直是的成员符号化身组德国图宾根大学和形式模型研究所和验证在约翰开普勒林茨大学，奥地利。我在蒂宾根埃伯哈德·卡尔斯大学，德国，其中我获得了计算机科学博士学位。

我的专业兴趣包括SAT解决（尤其是工业应用、并行SAT算法和SAT实例可视化），产品配置（建模和验证问题），以及软件验证（有界模型检查）。

在过去的几年里，我也一直在从事不同的行业项目与戴姆勒克莱斯勒、IBM、，西门子和T-Systems。

联系人