大学教授博士。 马蒂娜·塞德尔 电话： +43 732 2468 5750 邮件： Martina.Seidl@jku.at 办公时间： 按约定 地址： 符号人工智能研究所 约翰开普勒大学 阿尔滕贝格斯特。69 奥地利林茨4040号

我是的教授法国符号人工智能研究所和关联到这个形式模型和验证作为临时主管林茨约翰内斯·开普勒大学.
在我2010年来到林茨之前，我在商业信息集团的维也纳大学技术.

研究兴趣

• 量化布尔公式
• 自动推理
• 模型演进
• 模型工程
• 软件模型的形式验证

正在进行的项目

• 年博士学院逻辑CS（相关教员）
• 国家研究网络RiSE公司（SHiNE，第二阶段，co-PI）

已完成项目

• FAME公司（负责人研究人员）
• AMOR-适应性模型版本控制（技术负责人）
• CVS型（研究员）

出版物

• 列表出版物数量在DBLP
• 所选列表出版物