传记
研究小组
出版物和博士论文
-
文件 信息 使用Gillian进行符号调试 纳特·卡米奥斯 萨查·艾莉·阿尤恩 菲利普·加德纳
2023 第一届ACM未来调试技术国际研讨会会议记录，第1-2页 -
文件 信息 精确分离逻辑：缩小验证和缺陷发现之间的差距 彼得·马克西莫维奇 卡罗琳·克朗贾格 安德烈亚斯·洛夫 朱利安·萨瑟兰 菲利普·加德纳
2023 第37届欧洲面向对象编程会议（ECOOP 2023），第19:1–19:27页 -
文件 信息 Iris-Wasm：WebAssembly程序的健壮和模块化验证 肖家饶 艾娜·林·乔治斯 马克西姆·勒戈皮勒 康拉德·瓦特 让·皮琼·法拉博德 菲利普·加德纳 拉尔斯·比克达尔
2023 第44届ACM SIGPLAN编程语言设计与实现会议（PLDI 2023），第151:1–151:25页 -
文件 信息 基于事件的Web API符号分析的可信基础结构 加布里埃拉·桑帕约
2022年3月 伦敦帝国理工学院博士论文 -
文件 信息 TaDA Live：细粒度终止的合成推理 并发程序 伊曼纽尔·德奥斯瓦尔多 阿扎德·法尔赞 菲利普·加德纳 朱利安·萨瑟兰
2021 2020年1月提交的《美国计算机学会编程语言与系统汇刊》（TOPLAS）； 2021年验收。， 第43卷（4）
受邀会谈
2021
“验证可信软件规范，高完整性软件（HIS）会议”，2021年 “Gillian验证JavaScript和C”，Galois，2021。 “Gillian：一个用于组合符号分析的多语言平台”，法国大学，2021年。
2020
“Gillian：一个用于合成符号分析的多语言平台”，Facebook TAV研讨会，2020年。 “Gillian：一个用于合成符号分析的多语言平台”，OOPSLA和ECOOP的REBASE，2020年。 Code Mesh V上的“Gillian：用于合成符号分析的多语言平台”。 英国伦敦亚马逊自动推理研讨会上的“Gillian：一个用于合成符号分析的多语言平台”。
2019
“TADA Live：细粒度并发程序终止的合成推理”，在有效验证：静态分析符合程序逻辑，2019年洛伦茨中心研讨会系列，荷兰莱顿。
2018
“进展：关于并发的可伸缩推理”，主旨，荷兰格罗宁根，《计算机科学中的关系和代数方法》（RAMICS 2018）。 “JaVerT 2.0：JavaScript验证和测试框架”，受邀在德国法兰克福的声明性编程原则与实践（PPDP 2018）上发表演讲。
2017
“JavaScript的验证和测试”，在英国伦敦Facebook首届测试和验证研讨会上应邀演讲。 “值得信赖的软件规范”，德国达姆施塔特市DFG优先项目“可靠安全软件系统（RS3）”的主题演讲和最终会议。 “JaVerT：JavaScript验证工具链”，主题演讲，自动化推理国际会议（CADE），瑞典哥德堡。 “经验证的值得信赖的软件系统”，受邀演讲，在Alan Turing Institute举办的工业和研究挑战研讨会，作为英国伦敦牛顿研究所大证明项目的一部分。 “实现JavaScript的可信验证”，在TC39:ECMAScript任务组标准委员会会议新兴技术会议上的受邀演讲，美国纽约。 “值得信赖的软件规范：并发”，第28届惠普信息安全学术讨论会，RHUL，伦敦； “POSIX并发规范”，受邀在法国巴黎夏皮罗分布式系统一致性RainbowFS研讨会上发表演讲。 “JavaScript程序的可追踪验证”，伊朗德黑兰FSEN’17主题演讲。 “理解和验证JavaScript程序”，UPMC信息学座谈会（杰出研讨会系列），法国巴黎。 “JavaScript程序的可追踪验证”邀请在法国巴黎POPL’17实践原则研讨会上就JSVerify进行演讲。
2016
在英国伦敦IET第11届系统安全和网络安全会议上的主题演讲“经验证的值得信赖的软件系统”。 “关于并发程序的可扩展推理”，受邀参加IFIP WG 1.9.2.15验证软件工作组，法国蒙托班。 “POSIX并发规范”，受邀演讲，并发理论趋势研讨会（Trends 2016），加拿大魁北克CONCUR。 “JavaScript验证的中间语言和编译器”，受邀在意大利罗马与ECOOP’16相关的JSTools研讨会上发表演讲。 “JavaScript和并发验证”，受邀演讲，关于DeepSpec:the Science of Deep Specification的第一次研讨会，美国普林斯顿（与Petar Maksimovic合作）。 “POSIX并发规范”，特邀演讲，Dagstuhl研讨会，主题为“并发程序测试、验证和修复之间的协同作用”，Dagstohl，德国。 “理解和验证JavaScript程序”，在英国伦敦皇家学会“验证可信软件系统”皇家学会讨论会和科学会议上发言。 “现代并行分离逻辑”，普洛金70岁生日庆祝活动，英国爱丁堡。 “理解和验证JavaScript程序”，英国爱丁堡LFCS成立30周年。
2015
“理解和验证JavaScript程序”，受邀演讲，谷歌欧盟编译器峰会，德国慕尼黑。 “理解和验证JavaScript程序”，受邀演讲，英国剑桥大学部门研讨会。 “自动化程序分析和验证研究所”，受邀演讲，英国网络安全研究会议，英国伦敦。 由ICFP组织的并发中的开放问题研讨会，意大利贝尔蒂诺罗。 “JavaScript可信的机械化规范：一年后”，美国旧金山CAV’15主题演讲。 “现代并发分离逻辑”，荷兰奈梅亨编程语义数学基础特邀教程。 “现代并行分离逻辑”，捷克共和国布拉格ECOOP’15特邀教程。
2014
高级和低级课程认证研讨会，受邀演讲，法国巴黎。 瑞典哥德堡ICFP高阶规划效果研讨会（HOPE 2014），主题演讲。 JSTools 2014，受邀演讲，与ECOOP’14相关，瑞典乌普萨拉。 关于并发中的开放问题研讨会，Bertinoro，由ICFP部门研讨会在Kent，York和Oxford，Bertinoro，意大利组织。 “JavaScript标准的可信机械化规范”，英国牛津大学部门研讨会。 在英国肯特、约克和牛津举办部门研讨会。
赠款
2021-2022年亚马逊研究奖： Gillian：一个用于符号测试和验证的多语言平台 ，PI，60000美元。 2020-2021年Facebook研究礼物： Gillian：程序正确性和错误性的统一平台 ，PI，50万美元。 2018-2023 UKRI Grant，建立职业奖学金： 经验证的可信软件规范 ，Fellow，150万英镑。 2019年亚马逊礼品： AWS加密的正式验证序列化模块 ，PI，100000英镑。 2019-2020年GCHQ拨款： Genifer：一个验证和测试框架 ，PI，75000英镑，作为GCHQ对验证高保证软件的资金要求的一部分。 2018-2019 Facebook礼物： Gillian：基于分离逻辑的符号分析工具 ，PI，4.9万英镑，在为5个项目提供资金的持续推理国际竞赛后授予。 2017–2022年EPSRC拨款： 验证可信软件系统研究所 ，PI，798000英镑。 2015-2016年脸书教员补助金，40000美元。 2013-2019年EPSRC项目拨款： REMS：主流系统的严格工程 ，CI（Sewell，PI，Cambridge），1349302英镑。 2013-2016年EPSRC拨款： 客户端Web程序的认证验证 ，PI，627463英镑。 2013-2016年EPSRC和GCHQ拨款： 自动化程序分析与验证研究所 ，PI，266461英镑。 2010-2016年EPSRC项目拨款： 资源推理 ，CI（O'Hearn，PI，UCL），1536661英镑。 2006年至2010年EPSRC拨款： Smallfoot:C程序的静态断言检查 ，CI（O'Hearn，PI，Queen Mary），33万英镑。 2006年至2009年BBSRC拨款： 应用过程代数技术模拟细胞行为 ，PI，155146英镑。 2004–2007 EPSRC电子科学拨款： 动态网络数据：理论与实验 ，PI，241438英镑。 2003–2006年EPSRC响应模式拨款： 查询图形的空间逻辑 ，PI，171916英镑。 2002年至2004年微软研究资助： 在Web上查询数据 , £34,000. 1998年至2001年EPSRC拨款： 互动演算：理论与实验 ，CI（Milner，PI），279899英镑。
奖项和奖学金
2018年至2023年，EPSRC成立职业奖学金，VeTSpec:Verified Trustworthy Software Specification，Imperial，1579794英镑。 2013年总统和校长卓越教学奖，一项著名的帝国教学奖。 2005-2009年，微软研究院-皇家工程学院高级研究员，帝国，362272英镑。 2007年，校长的研究奖金，一项著名的帝国研究奖，帝国，2007年，10000英镑。 1997-2002年EPSRC高级研究员，计算操作模型，剑桥大学和帝国大学，149996英镑。 1994年至1996年爱丁堡皇家学会-英国石油公司研究奖学金，爱丁堡，143000英镑。 1992-1993年爱丁堡科学与工程研究委员会博士后奖学金，73000英镑。
活动
总主席 流行'24 ，第50届ACM SIGPLAN编程语言原理年会将于2024年1月在英国伦敦举行 2020年，皇家工程学院院士 2017-2023年，验证可信软件系统研究所所长（VeTSS） - Chair of the Awards Committee of the
BCS计算机学院 对于 洛夫莱斯奖章 （高级） 以及 罗杰·李约瑟奖 2013-2016年计算机科学（职业中期） 董事 自动化程序分析与验证研究所 , 2013-2016 会议组织者 皇家学会讨论和科学会议 在 “经验证的值得信赖的软件系统”及相关 专家会议 2016年伦敦帝国理工学院 英国年度活动主办方 安全正式方法和工具研讨会（FMATS） 2014年至2017年，与马尔库夫·科尔维斯、迈克·戈登、安迪·戈登，格雷厄姆·斯蒂尔和安迪·杰克逊合作 年度英国联合组织者 并发研讨会 帝国理工学院，2015年 年度组织者 验证和测试车间（INVEST）简介 在Imperial，与 艾莉·唐纳森 和 克里斯蒂安·卡达尔 向本科生和早期博士生介绍分析、测试和验证的主题。 2014年，卢卡·卡德利与马丁·阿巴迪、安迪·戈登和拉杜·马尔代尔共同主持了他的60岁生日庆祝活动 编程语言基础与趋势期刊编辑 的Co-chair 2013年员工持股计划 , DBPL 2009年 ，主席 CONCUR 2004年 许多重大会议的项目委员会成员，例如 POPL公司 , 低收入国家 , OOPSLA公司 , 员工持股计划 ，符合。 2010-2012年皇家学会国际奖学金计划委员会成员 1999-2009年，EPSRC学院成员