基本信息
浏览量:27
职业迁徙
个人简介
Position:
PhD, Former Professor at the IT University of Copenhagen.
From 1 September 2007 I have left the ITU to become fulltime CEO of Configit.
Former Head of the Computational Logic and Algorithms Group
Co-founder and CEO of Configit A/S
Research interests:
Verification of concurrent systems. Model checking. Verification of timed systems. Configuration problems and configuration software. Constraint satisfaction problems. SAT-solving. Binary Decision Diagrams.
Relevant local links: FIRST Graduate School, USEC Research Consortium, NEXT Research Project with Microsoft Business Solutions
研究兴趣
论文共 15 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
IJCAI'07: Proceedings of the 20th international joint conference on Artifical intelligencepp.100-105, (2007)
引用15浏览0EI引用
15
0
IJCAI'07: Proceedings of the 20th international joint conference on Artifical intelligencepp.180-185, (2007)
引用18浏览0EI引用
18
0
CP'07: Proceedings of the 13th international conference on Principles and practice of constraint programming (2007): 118-+
SAC06: The 2006 ACM Symposium on Applied Computing
Dijon
France
April, 2006pp.409-414, (2006)
CP'05: Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (2005): 767-771
msra(2004)
引用24浏览0引用
24
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn