About
Timothy Bourke is a Researcher at Inria in the PARKAS team, affiliated with the Informatics Department of École normale supérieure (ENS). He also serves as an Adjunct Professor at the Informatics Department of École Polytechnique, contributing to both institutions' academic and research missions.
Research Focus: His work centers on rigorous approaches to modeling, programming, and verifying embedded control systems. This includes developing and analyzing Vélus (Verified Lustre) and Zélus (synchrony + ODEs), integrating formal methods with practical applications like robotic wheelchair control systems, infrared sensors, microkernel operating systems, microprinter components, and wireless routing protocols.
- Academic Service: Active in program committees for conferences including DAC, ECRTS, EMSOFT, iFM, JFLA, and SETTA, including chairs/co-chairs at ESOFT 2019, JFLA 2022-2023, and SETTA 2024. Regular reviewer for journals like ACM Transactions on Embedded Computing Systems and Real-Time Systems.
- Students: Advised Guillaume Baudart (2013–2017), Lélio Brun (2016–2020), Paul Jeanmaire (2020–2024), and Basile Pesin (2020–2023).
- Labs/Teams: Core member of the PARKAS team at Inria, focusing on embedded systems and synchronous language design.
His technical contributions include software tools like Muttlight, Sundials/ML, and Urpal for timed trace inclusion testing. He also teaches courses such as L3 at ENS, MPRI INF559, and CSE205 at École Polytechnique.
