哥德堡大学
计算机科学与工程系

尼尔·皮特曼 计算机科学教授 电子邮件：教学/管理 研究 进一步联系：地址/电话 通讯地址： 计算机科学与工程系 查尔默斯理工大学 瑞典哥德堡SE-41296 参观地址： 6474室，第6楼层EDIT建筑 Rännvägen 6B，约翰内堡校区 瑞典哥德堡 电话：+46-31-772-6053

研究兴趣

我的研究兴趣包括形式验证和自动机理论。我曾（现在仍在）对各种类型的系统、时序逻辑的不同方面以及合成和游戏解决问题。我还研究了形式化方法在生物建模中的应用。

出版物  个人简历

ERC整合器项目 dSynMA：从单代理到多代理的分布式合成 该项目的主要目的是研究能够应用反应性理论的理论基础从时间规范到多代理的综合。 这包括研究两层游戏及其解决方案，为交互代理建模解决方案，时间逻辑的研究。 具体而言，研究将侧重于以下目标： 考虑将消息传递和变量共享结合起来的建模框架，以实现同步和信息传递。 对支持丰富建模功能的多个代理组合产生的游戏进行算法分析。这包括对部分信息博弈的分析，以及对博弈分析的抽象性和组合性的应用。 研究扩展时间和策略逻辑的规范语言，通过推理代理如何交互以及它们的目标是什么。算法分析由此类规范产生的游戏。 收件人dSynMA主页

简短的个人简历

我于2005年在魏茨曼科学研究所在…的监督下阿米尔·普努利.
2005-2007年间，我在汤姆·亨辛格中的组洛桑联邦理工学院.
2007-2010年间，我是伦敦帝国理工学院使用伦敦帝国学院.
我加入了莱斯特大学2010年担任讲师，2012年晋升为读者/副教授。
2019年3月，我加入了计算机科学与工程系在哥德堡大学作为莱克托大学副教授，于2021年晋升为教授。

博士生

Prabhat Kumar贾（项目：将路径规划纳入游戏解决中）
大卫·利德尔（项目：反应合成和运行时验证的组合）
Claudia Cauli博士（论文：基于逻辑推理的云基础设施安全预部署描述, 2022)
Heidy Khlaaf博士（论文：过去、现在和未来：验证临时软件属性, 2018)
Alexey Bakahirkin博士（论文：程序非终结性和安全性的递归集, 2016)
Jim Kou博士（论文：奇偶博弈：描述复杂性和新求解算法,2013)
Nicolas D'Impolito博士（论文基于事件的软件工程控制器的综合, 2013).
Daniel Wagner博士（论文：概率计算树逻辑的有限状态抽象, 2011).

寻找博士职位？联系！

托管Postdocs

Luca Di Stefano博士
Mathieu Lehaut博士
Daniel Hausmann博士
Shaun Azzopardi博士
Mauricio Martel博士（目前是科布伦茨-朗道大学的博士后研究员）
Yehia Abd Alrahman博士（现任哥德堡大学瑞典研究委员会年轻研究员）
Giuseppe Perelli博士（目前在拉萨皮恩扎罗马大学）
Manuela Bujorianu博士（目前在伦敦大学学院）

工具

食谱
BMA公司
T2段

教学

• 更多教学。。。
• 并发程序设计原理（查尔默斯，2019年秋季,2020年秋季,2021年秋季,2022年秋季,2023年秋季)
• 高级C++编程（受限链接）（莱斯特大学，2012年秋，2013年秋，2014年秋，2015年秋，2016年秋，2017年秋）
• 游戏与合成(EATCS青年研究人员学校2014年夏季）
• 离散事件系统（受限链接）（莱斯特大学，2011年春季，2012年春季，2013年春季，2014年春季）
• 时间规格综合在机器人和模型驱动开发中的应用（布宜诺斯艾利斯大学，2010年夏季）
• 计算模型（伦敦帝国理工学院，2010年春季）
• 可计算性和复杂性（伦敦帝国理工学院，2008年秋季）
• 理论计算机科学III（EPFL，2006-2007）
• 计算机辅助验证（EPFL，2006）
• 理论计算机科学III（EPFL，2005-2006）
• 问题解决（EPFL，2005）
• 自动化高级主题（魏茨曼，2003）
• 可计算性高级主题（Weizmann，2002）

期刊销售

我是系统设计中的形式化方法.

我是一名编辑信息学报.

事件

• 更多活动。。。
• 2023年逻辑、游戏和自动化亮点（2023年亮点）。
• 第29届系统构建和分析工具和算法国际会议（TACAS 2023）-部分预计2023年.
• 第34届计算机辅助验证国际会议（CAV 2022）部分FLoC 2022年.
• 第十五届并行过程建模与验证暑期学校（2022年移动）。
• 第21届自治代理和多代理系统国际会议（AAMAS 2022）。
• 第20届自治代理和多代理系统国际会议（AAMAS 2021）。
• 第十五届国际语言与自动机理论与应用会议（LATA 2021）。
• 第31届并行理论国际会议（Concur 2020）。
• 第十四届语言与自动机理论与应用国际会议（LATA 2020）。
• 第26届系统构建与分析工具和算法国际会议（TACAS 2020）-部分2020年ETAPS.
• 第二届并行与逻辑最新进展国际研讨会（RADICAL 2019）-部分CONCUR公司.
• 第31届国际计算机辅助验证会议（CAV 2019）。
• 第30届国际计算机辅助验证会议（CAV 2018）。
• 第12届海法核查会议（HVC 2016）。
• 战略推理（SR 2016）-毗邻车间2016年LICS.
• 第31届ACM/IEEE计算机科学逻辑年度研讨会（LICS 2016）
• 第22届国际工具和算法会议系统的构建与分析（TACAS 2016）。
• 第十一届海法核查会议（HVC 2015）。
• 第四届杂交系统生物学国际研讨会（HSB 2015）-部分马德里会议, 其中包括CONCUR公司,格式、和QEST公司.
• 第十八届国际软件科学与技术基础会议计算结构（FOSSACS 2015）。
• 2014年逻辑、游戏和自动化亮点.
• EATCS自动化、逻辑和游戏青年研究院，2014年.
• 合成研讨会（2014年同期）毗邻车间2014年CAV.
• 第29届ACM/IEEE计算机科学逻辑年会（LICS 2014）-的一部分维也纳逻辑之夏.
• 第20届国际工具和算法会议系统的构建与分析（TACAS 2014）。
• 合成研讨会（2013年同期）毗邻车间2013年CAV.
• 青年研究员并发理论研讨会（YR-Concur 2013）。
• 第24届并行理论国际会议（Concur 2013）。
• 第38届国际研讨会计算机科学数学基础（MFCS 2013）。
• 第19届国际工具和算法会议系统的构建与分析（TACAS 2013）。
• 并发理论青年研究人员研讨会（YR Concur 2012）。
• 第十届国际时间系统形式化建模与分析会议（格式2012）。
• 第三届运动会、自动机、逻辑和形式验证国际研讨会（甘道夫2012）。
• 合成研讨会（2012年同期）毗邻车间2012年CAV.
• 计算机辅助核查国际会议（CAV 2012）。
• 系统构造和分析工具和算法国际会议（TACAS 2012）。
• 年轻研究员-Concur毗邻车间2011年Concur.
• 机器人与自动化的形式化方法毗邻车间2011年CAV.
• 时间表征与推理国际研讨会（时代杂志2011）。