Dr Timothy Bourke

Researcher at Inria in the PARKAS team at the Informatics Department of the ENS
Adjunct Professor at the Informatics Department of the École polytechnique
en: [tImɒθiː bɜːʳk] or fr: [timɔte bɔʀk] (Tim, [tIm] or [tiːm]); c/o ENS, Paris...
tim@tbrk.org / timothy.bourke@inria.fr / timothy.bourke@ens.psl.eu /


Photo of Tim.

My Research

My research focuses on rigorous approaches to modelling, programming, and verifying embedded control systems. My motivation is not formal techniques as an end in themselves, but rather as a means to clarify the principles behind and to better engineer embedded systems. I always try to work with practical examples, like the control system of a robotic wheelchair (a long time ago), an infrared sensor, a microkernel operating system (as part of a large group), a microprinter component, or a wireless routing protocol. Focusing on practice means working with programming languages that can be compiled and executed. Rigour mandates languages based on precise and tractable models (like synchronous languages). Finally, modelling and analyzing realistic programming languages, their compilers, and the applications created with them requires computer assistance; ideally interactive theorem provers.


Academic Service


Pensez à participer aux JFLA 2023.
Hope to see you at Synchron 2022.
Save the dates for Synchron 2021!
Soumettez vos articles aux JFLA 2022!
Our article, “Verified Lustre Normalization with Node Subsampling” has been accepted for EMSOFT 2021 in October.
Synchron 2020 will happen online. The program is now online.
We're still hoping that Synchron 2020 can go ahead. Please save the dates!
Lélio's thesis defense.