معرفی
Dr. Timothy Peter Bourke is a Researcher at Inria affiliated with the PARKAS team in the Informatics Department of École Normale Supérieure (ENS). He also serves as an Adjunct Professor in the Informatics Department of École polytechnique, where he contributes to courses like CSE205. His work bridges theoretical rigor and practical implementation in embedded systems.
Research Interests: Focuses on rigorous approaches to modeling, programming, and verifying embedded control systems using synchronous languages (e.g., Vélus, Zélus), dataflow programming (e.g., Esterel), and interactive theorem provers. Projects include verified compilation, timed automata, and applications to robotic wheelchairs, microprinters, and network protocols.
Academic Service: Serves on program committees for conferences such as DAC, ECRTS, EMSOFT, and RTSS. Organized workshops (e.g., Synchron 2020, 2021) and held roles in ESWEEK (Tutorial Chair 2021, Web Chair 2024). Regular reviewer for journals like ACM Transactions on Embedded Computing Systems and conferences including POPL, CAV, and DATE.
Students and Teaching: Supervises PhD students Paul Jeanmaire, Basile Pesin, and others. Teaches courses at ENS (L3 level), MPRI INF559, and École polytechnique (CSE205). Involves software tools like Muttlight, Sundials/ML, and Urpal in his research.
Labs and Teams: Member of the PARKAS team at Inria, collaborating on projects involving the seL4 microkernel, wireless routing protocols, and formal verification of embedded systems.
