萨姆·斯塔顿

萨姆·斯塔顿 计算机科学教授 计算机科学系，牛津大学 421室 帕克斯路沃尔夫森大厦 牛津OX1 3QD 高级研究员，牛津耶稣学院 +44 (0)1865 (2)73893 sam.staton在cs.ox.ac.uk

兴趣：我的研究方向是编程语言理论也对逻辑和范畴理论感兴趣。我最近特别感兴趣两种编程语言：

• 概率编程语言:这主要与使用编程语言指定和理解统计模型有关。我最近被授予ERC合并拨款我们最近赢得了脸书研究奖也是。我们的2023年POPL介绍了懒惰PPL该库演示了延迟数据结构在概率编程中的强大功能。我在概率编程语义方面的大部分工作都是从两个关键思想开始的：s-有限核作为一种简单的组合形式，允许采样和观察(2017年员工持股计划)、和拟Borel空间，高阶概率理论的新设置(2017年LICS). 我们的PPS公司2017年摘要研究了可交换性和程序模块之间的关系，我认为这是一个令人兴奋的方向，我们更进一步ICALP 2018，层次分析法2021和2024年POPL..

• 量子计算和编程语言:马修·霍特和我发现了量子理论的一个简洁的普遍性质(2019年LICS，2018年QPL)基于我的量子程序理论(2015年POPL). 早些时候，我曾与桑德·尤伊伦（请参阅我们的ICALP 2015年纸），和量子编程语言马西斯·雷内拉（请参阅我们的2017年MFPS/LMCS公司和2015文件以及我们的2016年QPL纸张）。我在这一领域的研究得到了我的赠款“Quantum”的支持作为编程语言的计算(EP/N007387/1号)以及当前AFOSR拨款FA9550-21-1-0038。

简介：自2015年3月以来，我一直在牛津。自2020年以来，我一直得到ERC合并计算器拨款的部分支持“更好的统计语言”2015-2022年间，我获得了皇家学会大学研究奖学金的支持。在那之前，我花了很多时间在里面奈梅亨（NL）谈Bart Jacobs的ERC项目量子计算、逻辑和安保部（2013-14年），巴黎CHOCO项目（2010-11年）和剑桥EPSRC研究奖学金讲师（2010-13）（2007-10），博士后（2006-07），博士生（与Marcelo Fiore，2002-06）和一名本科生。

(跳转到博士后、博士生和更多简历相关信息。)

出版物和预印本

• D.Stein和S.Staton。精确条件下的概率规划。已接受美国医学会杂志。显示。2023

• N.Ackerman、C.Freer、Y.Kaddar、J.Karwowski、S.Moss、D.Roy、S.Staton和Hongseok Yang。随机图的概率编程接口：马尔可夫类别、图和标称集。已接受第50届ACM SIGPLAN程序设计语言原理研讨会论文集（POPL 24）。预打印：[pdf格式]

• LICS杰出论文：A.Lew、M.Huot、S.Staton和V.Mansinghka。omega-PAP空间：关于高阶、递归概率和可微程序的外延推理。第三十八届ACM/IEEE年会论文集计算机科学中的逻辑(许可证2023).doi:10.1109/LICS56636.2023.10175739.预打印：arxiv:2302.10636号。

• Y.Kaddar，S.Staton。概率规划中的随机记忆和名称生成模型：通过前置类别上的单子实现的类别语义。第39届程序设计语义学数学基础会议论文集(MFPS 2023公司). 出现。预打印：arxiv:2309.09467号。

• S.Dash、Y.Kaddar、H.Paquet和S.Staton。贝叶斯编程的仿射单元和惰性结构。第50届ACM SIGPLAN编程语言原理研讨会论文集(2023年POPL). 预打印：arxiv公司：2212.07250。

• POPL杰出论文： A.Lew、M.Huot、S.Staton和V.Mansinghka。ADEV：概率程序期望值的声音自动微分。第50届ACM SIGPLAN编程语言原理研讨会论文集(2023年POPL).数字对象标识代码：10.1145/3571198.预打印：arxiv公司：2212.06386

• 入选QPL全体会议：S.Staton和N.Summers。作为范畴极限的量子德芬尼蒂定理，以及C*-代数的状态空间极限。发表在2022年量子物理与逻辑国际会议论文集(2022年QPL). 预打印：arxiv公司：2207.05832

• C.Matache、S.Moss和S.Staton。具体类别和高阶递归。第27届ACM/IEEE年会论文集计算机科学中的逻辑（LICS 2022）。数字对象标识代码：10.1145/3531130.3533370。arxiv公司：2205.15917。

• M.Huot、S.Staton和M.Vákár。 高阶函数的高阶自动微分。在计算机科学中的逻辑方法. 2022.doi:10.46298/lmcs-18（1:41）2022年.预打印：arxiv公司：2101.06757。

• S.Dash和S.Staton。概率数据库中可测量查询的单数。第37届程序设计语义学数学基础会议记录(MFPS 2021型). 2021doi:10.4204/EPTCS.351.3.预打印：邮编：2112.14048。

• C.Matache、S.Moss和S.Staton。滑轮类别中的递归性和序列性。第六届计算和演绎形式结构国际会议论文集(FSCD 2021).arxiv公司：2105.02156。doi:10.4230/LIPIcs。FSCD.2021.25号. 2021.

• LICS杰出论文：D.Stein和S.Staton。具有精确条件的概率程序的合成语义。第三十六届ACM/IEEE计算机科学逻辑年会论文集(LICS 2021年).arxiv:2101.11351。doi:10.1109/LICS52264.2021.9470552. 2021.

• 懒惰的PPL。[比特桶]. 2021 -. 已为选择聚光灯演示在AIPLANS 2021飞机.全文位于2023年POPL。

• P.Jung、J.Lee、S.Staton和H.Yang。 树上的层次交换性对有向无圈图的推广。年鉴亨利·勒贝格第4卷，2021年。预打印：arxiv版本：1812.06282。doi:10.5802/ahl.74Jiho关于这篇期刊论文的海报获得了尊敬的提及在2019年BNP。

• B.Vidgen、S.Staton、S.Hale、T.Melham、H.Margetts、O.Kammar、M.Szymczak。重新校准分类器以检测可解释的滥用内容。第四届自然语言处理与计算社会科学研讨会论文集(NLP+CSS 2020). [AclWeb上的PDF].

• M.Sabok、S.Staton、D.Stein和M.Wolman。用于名称生成的概率编程语义。在2021年POPL《美国计算机学会程序设计语言会议录》第5卷。arxiv:2007.08638号。doi:10.1145/3434292。

• S.Dash和S.Staton。 概率点过程的单子函数。在2020年应用范畴理论论文集(ACT 2020年). 开放访问：[pdf格式].

• M.Huot、S.Staton和M.Vákár。 通过差异和类别粘合实现自动区分的正确性。在第23届软件科学和计算结构基础国际会议(2020年FOSSACS).doi:10.1007/978-3-030-45231-517.预打印：arxiv:2001.02209号。

• B.Jacobs和S.Staton。 De Finetti作为范畴极限的构造。在第十五届计算机科学协同算法国际研讨会(CMCS 2020). 预打印：arxiv:2003.01964年

• M.Rennela和S.Staton。 丰富范畴理论中的经典控制、量子电路和线性逻辑《计算机科学中的逻辑方法》，2020年3月。预打印arxiv版本：1711.05519。

• M.Huot和S.Staton。 量子通道作为一种分类完成。在第34届ACM/IEEE年会计算机科学中的逻辑(2019年LICS).doi:10.1109/LICS.2019.8785700.预打印：arxiv:1904.09600年

• C.Matache和S.Staton。 代数效应的合理而完整的逻辑。在第22届软件科学和计算结构基础国际会议(佛萨奇2019).文件编号：10.1007/978-3-030-17127-8_22.预打印：[pdf格式]

• POPL公司杰出论文: M.Vákár、O.Kammar和S.Staton。 统计概率规划的领域理论。在的诉讼中第46届ACM程序设计语言原理研讨会(2019年POPL). 程序。ACM计划。语言，第3卷，第36条。数字对象标识代码：10.1145/3290349。预打印：arxiv:1811.04196号。

• M.Huot和S.Staton。 量子理论中的普遍性质。在第十五届国际量子物理与逻辑会议(2018年QPL). 《理论计算机科学电子论文集》287，第213-223页。doi:10.4204/EPTCS.287.12（开放访问）。

• S.Staton、D.Stein、H.Yang、N.L。Ackerman，C.Freer，D.Roy。 Beta-Bernoulli过程和代数效应。在第45届自动化、语言和程序设计国际学术讨论会论文集(ICALP 2018).doi:10.4230/LIPIcs。ICALP.2018年141。预打印：arxiv:1802.09598号。

• A.Ścibior、O.Kammar、M.Vákár、S.Staton、H.Yang、Y.Cai、k.Ostermann、S.k.Moss、C.Heunen和Zoubin Ghahramani。 贝叶斯推理的表示验证。在第45届ACM SIGPLAN程序设计语言原理研讨会论文集（POPL 2018）。程序中。ACM计划。语言，第2卷，第60条。doi:10.1145/3158148。预打印：arxiv:1711.03219号。

• S.Staton和S.Uijlen。 效应代数，presheaves，非局部性和情境性。信息与计算第261卷，第2部分，第336–365页。(2018). 受邀为2015年ICALP特刊撰稿。doi:10.1016/j.ic.2018.02.012。预打印：[pdf格式]

• 的获胜者EATCS最佳论文奖: S.Staton公司。 概率规划的交换语义。在的诉讼中第26届欧洲规划研讨会(员工持股计划2017),doi:10.1007/978-3-662-54434-1_32。预打印：[pdf格式]

• M.Rennela和S.Staton。 丰富范畴理论中的经典控制和量子电路。在的诉讼中第三十三届程序设计语义学数学基础会议(2017年MFPS).选举人。注释Theor。计算。科学。336:257--279. 开放访问：doi:10.1016/j.entcs.2018.03.027。扩展版本：arxiv:1711.05159号。

• M.Piróg和S.Staton。 带切口回溯通过分配律和左零单调。函数编程杂志的理论明珠，第27卷。2017网址：10.1017/S0956796817000077。预打印：[pdf格式]

• 已为选择STOC最佳理论:C.Heunen、O.Kammar、S.Staton和H.Yang。 高阶概率理论的一个方便范畴。在的诉讼中第32届ACM/IEEE逻辑年会计算机科学(2017年许可证).doi:10.10109/LICS.2017.8005137。预打印：arxiv:1701.02547号。

• O.Kammar，P.B。莱维，S.K。Moss和S.Staton。 用于完整地面参考细胞的单子。在的诉讼中第32届ACM/IEEE逻辑年会计算机科学(2017年LICS).doi:10.1109/LICS.2017.8005109。预打印：arxiv:1702.04908号。

• S.Staton，H.Yang，N.L。。Ackerman、C.Freer、D.Roy。可交换的随机过程和数据抽象。 概率编程语义研讨会(PPS公司2017). 扩展摘要：[pdf格式]

• R.Furber、M.Rennela和S.Staton。 量子基础中的无穷维：W*-代数矩阵代数上的预升。在的诉讼中第十三届国际量子会议物理与逻辑(2016年季度).理论计算机科学电子论文集第236卷161–173.doi:10.4204/EPTCS.236.11

• S.Staton、H.Yang、C.Heunen、，O.Kammar和F.Wood。 概率规划的语义：高阶函数、连续分布和软约束。在的诉讼中第31届ACM/IEEE逻辑年会计算机科学(2016年许可证).电话：10.1145/2933575.2935313。预打印：arXiv公司：1601.04943。

• M.Rennela和S.Staton。 量子计算的完全正性和自然表示。在的诉讼中第31届程序设计语义学数学基础会议(2015年MFPS).选举人。注释Theor。计算。科学。319:369-385.doi:10.1016/j.entcs.2015.12.022。

• S.Staton和S.Uijlen。 效应代数，预升，非局部性和上下文性。在的诉讼中第42届自动化、语言和程序设计国际学术讨论会(ICALP 2015年),第401-413页。doi:10.1007/978-3-662-47666-6_32。[预印本：pdf格式]

• R.Atkey、N.Ghani、F.Nordvall Forsberg、T.Revell和S.Staton。 物理维度上的多态性模型。在的诉讼中第十三届国际Lambda Calculi和应用(薄层色谱分析2015),第45-59页。doi:10.4230/LIPIcs。薄层色谱法2015.45。[预印本：pdf格式]

• S.Staton公司。 代数效应、线性和量子编程语言。在诉讼中第42届ACM SIGPLAN-SIGACT编程语言原理研讨会(2015年POPL),第395-406页。doi:10.1145/2676726.2676999。[预印本：pdf格式]

• M.P.公司。Fiore和S.Staton。 替换、跳跃和代数效应。在联合会议第二十届EACSL年会计算机科学逻辑和第二十届ACM/IEEE年会计算机科学中的逻辑(CSL-LICS14系列).doi:10.1145/2603088.2603163。[预印本：pdf格式]

• 邮政信箱。利维和S.Staton。 游戏的过渡系统。在诉讼中联合会议第二十届EACSL年会计算机科学逻辑和第二十届ACM/IEEE年会计算机科学中的逻辑(CSL-LICS14系列).doi:10.1145/2603088.2603150。[预印本：pdf格式]

• R.E.公司。莫格伯格和S.Staton。状态的线性用法。计算机科学中的逻辑方法，第10卷第1期。计算机科学中代数和余代数方法专题。doi:10.2168/LMCS-10（1:17）2014年。arxiv公司：1403.1477。

• S.Staton公司。 Freyd范畴丰富了Lawvere理论。在的诉讼中代数、代数与拓扑研讨会.电子。注释Theor。计算。科学。303:197-206.2013。doi:10.1016/j.entcs.2014.02.010。[预印本：pdf格式|注意：文本]

• D.Ahman和S.Staton。通过评估和代数效应归一化。在的诉讼中第二十届程序设计语义学数学基础会议(2013年MFPS).电子。注释Theor。计算。科学。298:51-69之间。2013doi:10.106/j.entcs.2013.09.007。

• S.Staton公司。计算效果的实例。在的诉讼中第二十八届ACM/IEEE年会计算机科学中的逻辑(2013年LICS).doi:10.1109/LICS.2013.58。[预印本：pdf格式|勘误表：文本]

• S.Staton公司。谓词逻辑的代数表示。在的诉讼中第十六届软件科学和计算结构基础国际会议(2013年FOSSACS),计算机课堂讲稿。科学。7794:401-417. 施普林格，2013年。doi:10.1007/978-3-642-37075-5_26。[预印本：pdf格式][代码：flp.sml公司]

• S.Staton和P.Levy。不纯编程语言的通用属性。在的诉讼中第四十届ACM SIGPLAN-SIGACT编程语言原理研讨会(2013年POPL),第179-192页。doi:10.145/2429069.2429091。[预印本：pdf格式]

• R.E.公司。莫格伯格和S.Staton。按调用值模型中的线性使用状态。在的诉讼中第四届计算机科学代数和余代数国际会议(CALCO 2011年).计算机课堂讲稿。科学。6859:293-313.doi:10.1007/978-3642-22944-221。【预印本：pdf格式]

• S.Staton公司。相互模拟的相关联脑概念。计算机科学中的逻辑方法第7卷第1期（2011年3月）。doi:10.2168/LMCS-7（1:13）2011年。arXiv:1101.4223。

• S.Staton和G.Winskel。关于事件结构中对称性的表达。在的诉讼中第25届IEEE计算机科学逻辑年会(LICS 2010)，第392-401页。doi:10.1109/LICS.2010.37。[预印本：pdf格式]

• R.E.公司。莫格伯格和S.Staton。以元语言对状态进行完全抽象。在研讨会上低级语言的句法和语义(LOLA 2010年).LICS 2010卫星研讨会。

• T.Altenkirch、P.Levy和S.Staton。高阶集装箱。在的诉讼中欧洲的可计算性(2010年CiE). 计算机课堂讲稿。科学。6158:11-20.doi:10.1007/978-3-642-13962-8_2。[预印本：pdf格式]

• M.P.公司。Fiore和S.Staton。积极的结构操作语义和单调分布律。短期供款第十届计算机科学协同算法国际研讨会(CMCS 2010). CWI技术报告SEN-1004号机组。[预印本：pdf格式]

• S.Staton公司。局部状态代数理论的完备性。的程序第十三届软件科学和计算结构基础国际会议(2010年FOSSACS). 计算机课堂讲稿。科学。6014:48-63.doi:10.1007/978-3642-12032-95。[预印本：pdf格式|勘误表：文本]

• S.Staton公司。将互模拟的联合概念与命名过程计算的应用联系起来。的程序第三届计算机科学代数和余代数会议(CALCO 2009年). 计算机课堂讲稿。科学。5728:191-205.doi:10.1007/978-3642-03741-2-14。[预印本：pdf格式]

• S.Staton公司。两个共传感器合一：代数理论的介绍当地州和新名称。的程序第25届程序设计语义学数学基础会议(MFPS 25型). 电子。注释Theor。计算。科学。249:471-490. 2009doi:10.1016/j.entcs.2009.07.103。[预印本：pdf格式]

• S.Staton公司。结构操作语义和值传递过程计算中的替换。的程序第二届抽象、替代和命名理论与应用国际研讨会(TAASN 2009年).[预印本：pdf格式]

• M.Fiore和S.Staton。名称传递过程计算的同余规则格式。信息与计算第207卷第2期（2009年2月），第209-236页。结构操作语义学特刊。doi:10.1016/j.ic.2007.12.005.[预印本：pdf格式]

• S.Staton公司。通过范畴逻辑的一般结构操作语义。的程序第23届IEEE计算机科学逻辑年会(LICS 2008)，第166-177页。doi:10.1109/LICS.2008.43。[预印本：pdf格式]

• S.Staton公司。命名过程演算：操作模型和结构操作语义。博士论文。剑桥格顿学院。由Marcelo Fiore监督，由Gordon Plotkin和Andrew Pitts检查。计算机实验室技术报告UCAM-CL-TR-688。【论文摘要：pdf格式]

• M.P.公司。Fiore和S.Staton。基于数学操作语义的命名过程演算的同余规则格式。的程序第21届IEEE计算机科学逻辑年会(LICS 2006年)，第49-58页。doi:10.1109/LICS.2006.7.  [预印本：pdf格式]

• M.P.公司。Fiore和S.Staton。比较姓名传递过程计算的操作模型。信息与计算第204卷第4期（2006年4月），第524-560页。doi:10.1016/j.ic.2005.08.004.  [预印本：pdf格式].《会议记录》的初步版本第七届国际煤焖法研讨会计算机科学（CMCS’04）。 电子。注释Theor。计算。科学。106:91-104.doi:10.1016/j.entcs.2004.02.025. [预印本：pdf格式]

• 一些博士后：
  • 佩德罗·阿莫林是我的博士后吗ERC喷砂项目
  • 朱斯特斯·马蒂森是我的助学金“通过代数效应进行量子编程”的兼职RA，也是爱丁堡的兼职RA。
  • 保罗·佩罗内是我的ERC Blast项目的博士后
  • 马里奥·罗曼是我“通过代数效应进行量子编程”的博士后。
  • 菲利普·萨维尔是我“通过代数效应进行量子编程”的博士后。
  • 鲁本·范·贝勒是我的ERC Blast项目的博士后
• 我目前负责管理DPhil/PhD学生：
  • 斯瓦拉吉短划线
  • 尤内斯·卡达
  • 杰克·卡沃夫斯基
  • 拉津·谢赫
  • 内德·萨默斯
  • 我也在共同监督内森·科尔宾，玛丽亚·克雷西恩，马克斯·多尔，卢卡斯·海德曼，尼克·胡，杰克·利尔（Jack Liell-Cock），泽夫·西拉兹，Woongseon Yoo先生。
• 我曾监督和共事过的一些人：佐藤·库拉（Satoshi Kura）曾任JSPS海外研究员（2022-2024），现任早稻田大学助理教授；马蒂厄·胡特是一名博士生，现在是麻省理工学院的博士后；肖恩·莫斯是我ERC拨款的RA，现在是伯明翰的助理教授；克里斯蒂娜·马塔奇曾是DPhil学生，现在是爱丁堡的博士后；雨果·帕奎特在2023年1月之前，我一直是皇家学会授予的博士后，现在在巴黎获得了玛丽·斯科斯卡·库里奖（Marie Skłodowska-Curie Award）；奥哈德·卡马尔是我EPSRC拨款的RAEP/N007387/1号以及早些时候艾萨克·牛顿信托基金的资助；现任爱丁堡讲师；马钦·西姆扎克（Marcin Szymczak）是阿兰·图灵研究所（Alan Turing Institute）种子基金项目的风险评估师，与斯科特·黑尔（Scott Hale）、奥哈德·卡玛（Ohad Kammar）、海伦·玛格茨（Helen Margetts）和汤姆·梅尔姆（Tom Melham）合作；达里奥·斯坦因（概率规划DPhil，2017-2021）；萨姆·斯皮特是一名DPhil学生，主要由Samson Abramsky监管，Yoo Junghun曾是一名DPhil学生，主要由杨红seok（现谢菲尔德哈勒姆大学讲师）监督；安东尼·德尔佩赫（DPhil研究弦图，与Jamie Vicary共同监督，2021-2022年）；袁周（音）（DPhil on probability programming cosupervised with Hongseok Yang，Tom Rainforth，Yee Whye Teh，and Frank Wood，2016-2021）；马西斯·雷内拉（量子编程语言博士，2013-2019年）；桑德·尤伊伦（量子逻辑博士，2013-2019，与Aleks Kissinger和Bart Jacobs共同监督）；本·罗伯茨（分布式编程语言信息流安全博士，2013年）；贾德·加拉伊尼（从属类型硕士项目）；丹尼尔·艾哈曼（通过评估实现标准化的MPhil项目）；拉马纳·库马尔（关于形式化集合论的MPhil论文）；郭翔（关于代数效应和偏爱的哲学硕士论文）；Sohum Banerjea公司（MPhil关于推理编程语言的文章）。

责任和事件

编辑委员会成员： ACM量子计算交易。

项目委员会成员：2024年第32届EACSL计算机科学逻辑年会(CSL 2024年); 第50届EATCS自动化、语言和编程国际学术讨论会(ICALP 2023年);PC联合主席：第六届应用范畴理论年会(2023年法案);第26届软件科学和计算结构基础国际会议(FOSSACS 2023年);第七届国际会议计算和演绎的形式结构(FSCD 2022);第49届ACM SIGPLAN-IGACT程序设计语言原理研讨会(2022年大众);第30届欧洲规划研讨会(2021年员工持股计划); 第25届ACM/IEEE计算机科学逻辑年会(LICS 2020); 第24届ACM SIGPLAN函数编程国际会议(2019年ICFP);第四届计算和演绎形式结构国际会议(2019年FSCD);电脑椅：第34届程序设计语义学数学基础会议(MFPS三十四);第42届计算机数学基础国际研讨会科学类(2017年MFCS);第44届ACM SIGPLAN-SIGACT编程原理研讨会语言文字(2017年POPL);第26届欧洲规划研讨会(2017年员工持股计划);低级语言语法和语义讲习班(2016年LOLA);第十届计算机科学不动点国际研讨会(菲莎国际学院2015);第六届计算机科学代数和余代数会议(CALCO 2015年);PC联合主席：第30届程序设计语义学数学基础会议(MFPS XXX公司);第三届ACM-SIGPLAN高阶程序设计与效果研讨会(希望2014);第21届并发表达性国际研讨会和第11届结构化操作语义研讨会(2014年EXPRESS/SOS);第十一届领域理论与应用国际研讨会(域XI);第18届ACM SIGPLAN功能编程国际会议(2013年ICFP);低级语言语法和语义讲习班(2013年LOLA); 第五届计算机科学代数和余代数会议(2013年计算);第21次会议论计算机科学逻辑(CSL 2012)，第四次数学研讨会结构化函数编程(2012年MSFP); 第11届国际计算机科学中的组合方法研讨会(2012年CMCS); 第九亚洲编程语言和系统研讨会(2011年APLAS);第四届代数和余代数会议(CALCO 2011年); 第八结构操作语义学国际研讨会(2011年标准操作系统);第七届结构操作语义学国际研讨会(2010年标准操作系统). 第39届ACM SIGPLAN-SIGACT研讨会外部审查委员会程序设计语言原理(2012年POPL).

组织委员会:科学委员会：CIRM的概率规划逻辑（2022年1月）。本地组织者：ACT和MFPS 2024;2018年LICS;2017年FSCD;CALCO 2015年和MFPS三十一;范畴理论国际会议(CT 2014年);与处理人员一起编程的非正式研讨会(剑桥2013年6月).

一些最近/即将举行的受邀或主题演讲:PROBPROG 2023年9月;VERIPROP 2023年;BCS-FACS 2022研讨会;2022年拉菲;CMCS 2022年;FSCD 2021;MFPS 2021型;OWLS 2021年1月;CPS 2020;2019年OPLSS;2019年国际照明展;2019年PIHOC;ICALP 2018;2018年STOC;2018年逻辑与学习;2017年英国逻辑学术讨论会;不确定性2016年计算;2016年QSLC;2016年WIP;2016年MFPS;CHOCOLA，2016年1月;S-REPLS2015年11月;2015年MFPS。