彼得·戴比杰

计算科学教授
计算机科学与工程系
查尔默斯理工大学
S-412 96哥德堡，瑞典
电子邮件： 彼得·查尔默斯 ...
电话：+46 31 772 1035

研究兴趣

直觉主义类型理论，范畴类型理论、证明助手、程序的逻辑和语义。

我的讲座阅读材料直觉主义的类型理论关于类型、布景和构造的暑期学校，豪斯多夫数学研究所，波恩，2018年5月3日至9日。
一篇关于直觉主义的类型理论（与埃里克·帕尔姆格伦合著）哲学。
编辑布告栏符号逻辑.
关于广义代数理论和带有族的类别（与Marc Bezem、Thierry Coquand和Martin Escardo合著），arXiv:2012.08370，2020年12月。

活动

2019

挪威高等研究中心研究员奥斯陆科学与文学学院，2019年1月至6月。计划同伦类型理论与单叶基础.
2019年类型，讲座类别与族，单位类型、简单类型、依赖类型，2019年类型，奥斯陆，2019年6月。
项目委员会成员第四届国际会议计算和演绎中的基础结构多特蒙德，6月24日至30日。
关于的讲座带族的类别：Unityped、Simply Typed和Dependent Typed在基础与基础研讨会单叶数学的应用2019年12月18日至20日，德国赫尔兴。

2020

项目委员会成员第五届国际会议计算和演绎中的基础结构、巴黎、，2020年6月29日至7月5日。
逻辑与可计算性研讨会受邀演讲人这个VI拉丁美洲国家会议,蒙得维的亚，2020年7月20日至24日（延期）。
受邀在HoTT/UF小型研讨会上发言这个第八届欧洲大会数学斯洛文尼亚波托罗兹，2020年7月5日至11日（延期）。
谈谈埃里克·帕尔姆格伦和高等教育类型理论中的无限在纪念大会埃里克·帕尔姆格伦（Erik Palmgren），1963-2019年，在线，2020年11月19日至21日。

早期的

会谈中的一些文件和幻灯片

研究生国际学校课程

俄勒冈州编程语言暑期学校俄勒冈州尤金，15-272015年6月。归纳和归纳递归讲座类型理论中的定义。
米德兰大学计算机科学基础研究生院,英国莱斯特，2009年3月30日至4月3日。关于规范化按评估.
爱沙尼亚第十四冬季学校计算机科学（EWSCS）2009年3月1日至6日，爱沙尼亚帕尔姆斯。规范化讲座通过评估。
华沙大学计算机科学博士生公开讲座2008年1月18日至19日。关于通过评估进行规范化的讲座。
夏季语言工程与严格软件开发学院（LerNet）2008年2月至3月，乌拉圭皮里亚波利斯。关于工作中的依赖类型（与Ana Bove一起），
类型哥德堡暑期学校，2005年8月。关于结构类型理论中的归纳和递归定义,
国际语义与冬季学校应用2003年7月，乌拉圭蒙得维的亚。关于类型系统.
类型2002年9月，法国Giens的暑期学校。关于编程中的依赖类型,
应用语义学。国际2000年9月，葡萄牙卡米尼亚夏令营。关于归一化和部分求值.
欧洲逻辑、语言和信息暑期学校（ESSLLI），哥本哈根，1994年8月。关于归纳定义与类型理论.
Thorns岛IT暑期学校的逻辑，1988年8月。讲座关于Martin-Löf类型理论。

Chalmers的研究生教育

我在年发起并指导了硕士课程电脑类科学-算法、语言和逻辑2006 - 2010.
程序和证明的类型，硕士课程。

免责声明

Chalmers CS部门欢迎页面.