米歇尔·科尔哈泽

OMDoc的开发为表示数学知识提供了一个结构化框架，这是德国计算机科学家米歇尔·科尔哈泽（Michael Kohlhase）的重要贡献。他于1964年出生在埃尔朗根，将自己的职业生涯奉献给了数学与人工智能的交叉领域，专注于计算系统如何处理、存储和验证复杂的逻辑结构。

学术基础

米歇尔·科尔哈泽于1989年在波恩大学获得了数学学位。随后，他转入萨尔大学攻读计算机科学的高级研究，于1994年获得博士学位，并于1999年完成了教授资格认证。在此期间，他在多家国际机构进行了广泛的研究访问，包括卡内基梅隆大学、阿姆斯特丹大学、爱丁堡大学和SRI国际公司。

研究与计算贡献

他的主要研究兴趣涉及自动定理证明和数学知识表示系统的开发。他的大部分工作利用了基于Web的内容标记格式，如MathML、OpenMath和OMDoc。他还专注于自然语言处理的推理技术和计算机辅助教育。他的实际应用包括构建数学公式的语义搜索引擎，以及为LaTeX创建语义扩展，包括用于转换arXiv遗留文档的工具。

机构任职

科尔哈泽在整个职业生涯中担任过许多学术和行政职务。2000年至2003年间，他在卡内基梅隆大学计算机科学学院进行研究和教学，担任兼职副教授。2003年至2006年，他担任不来梅雅各布大学的计算机科学教授。同时，他于2006年至2008年担任不来梅德国人工智能研究中心安全认知系统部门的副主任。2016年9月，他开始担任埃尔朗根-纽伦堡大学知识表示与处理教授，并在此领导KWARC研究小组。

免费测试

你的是多少？

二十道题、八分钟计时，以及与所有参与者对比得出的百分位。无需注册。

开始智商测试 →

专业服务

除了机构职务外，科尔哈泽还通过领导和委员会服务为更广泛的科学界做出了贡献。他担任OpenMath协会主席，并且是数学知识管理利益集团的受托人。他过去的领导职务包括担任CADE-21会议主席，以及KI-2006、MKM-2005和CALCULEMUS-2000会议的程序委员会主席。他曾在超过三十个国际会议的程序委员会任职，并撰写或编辑了四本书，以及发表了近100篇同行评审论文。