博士 蒂莫西·布鲁克

我的研究

我的研究侧重于严格的方法建模、编程、，和验证嵌入式控制系统.我的动机不是将正式的技术作为目的，而是作为阐明背后原理和更好地进行嵌入式工程的手段系统。我总是尝试使用实际的例子，比如机器人轮椅（很久以前）红外传感器,一微内核操作系统（作为一个大集团的一部分），一微型打印机成分,或a无线路由协议.注重实践意味着使用可以编译并执行。严格要求基于精确和易于处理的模型的语言（比如同步语言).最后，对现实编程语言进行建模和分析编译器和用它们创建的应用程序需要计算机援助；理想的交互式定理证明器.

学生

• 纪尧姆·鲍达特:博士2013—2017
• 莱利奥·布伦:博士2016—2020
• 保罗·詹梅尔：2020年博士-
• 巴西果：博士学位2020-2023

学术服务

• 的PC成员DAC（轨道ESS1）2021；2019年、2020年、，2022年（实时推介会主席）、2023年、2024年；EMSOFT 2015、2016、2017、，2018年、2019年（联合主席）、2020年（主席）、2022年、2023年、2024年；JFLA公司 2018,2021,2022年（副总统）,2023年（公共部门）；REBLS 2023年；2016年RTAS；RTSOPS 2024年；范围 2017,2018,2019,2020,2021；Modelica公司 2015,2017,2019,2021；美国Modelica会议2018 2020 2022；亚洲Modelica会议2020,2022；日本Modelica会议2018；和2019年11月.
• 研讨会联合组织：同步器(2020,2021).
• 第二周：2021年教学主席，2024年网络主席。
• 成员学生研究竞赛（SRC）小组对于2017年PLDI.
• 期刊审查：ACM事务处理。论网络物理系统(2020),ACM事务处理。论嵌入式计算系统（2013年、2016年、2018年、2022年、2023年），电气与电子工程师协会嵌入式系统信函(2016),J.程序设计的逻辑和代数方法(2020),J.逻辑和计算(2013),莱布尼茨翻译。嵌入式系统(2023),实时系统(2012, 2013, 2014, 2017, 2022),计算机程序设计科学(2018, 2020),ACM事务处理。软件工程与方法论(2018),IEEE传输。论软件工程(2016, 2017),和理论计算机科学(2010, 2012, 2022).
• 会议审查：ACSC公司(2010),ACSD系统(2013),ASP-DAC公司(2006),CAV汽车(2019, 2022),科科斯群岛（2017）中，CONCUR公司(2013),清洁石油产品(2012),数模转换器(2014, 2015),日期(2011, 2012, 2013, 2015),员工持股计划(2020,2024),FASE公司(2015),FM公司(2016),格式（2009年、2010年），FoSSaCS公司(2020),哈斯克尔研讨会(2020),国际JCAR(2018),ITP公司(2018,2023),JFLA公司(2015),火星(2020),非金融市场(2015),OOPSLA公司(2019),POPL公司(2012, 2021, 2023),PPDP公司(2018),RTSS系统(2010),WPDRTS公司(2006, 2007).