Dr Timothy Bourke

Researcher at Inria in the team PARKAS
en: [tImɒθiː bɜːʳk] or fr: [timɔte buʀk] (Tim, [tIm] or [tiːm]); tim@tbrk.org; c/o ENS, Paris...

Details

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.

Students

Academic Service

News

2019-01-08
Presentation at Coq Meetup Paris. Thanks to Emilio and Théo for the organization and everyone else for listening!
2018-12-31
Our article Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers appears in the proceedings of the ML Family Workshop / OCaml Users and Developers workshops (MLOCAML 2016).
2018-12-20
Our article Symbolic Simulation of Dataflow Synchronous Programs with Timers appears in Lecture Notes in Electrical Engineering.
2018-12-05
The ESWEEK CFPs are now online. Deadline for EMSOFT: 5 April 2019.
2018-11-21
Papier sur les Arguments cadencés dans un compilateur Lustre vérifié accepté aux JFLAs 2019.
2018-11-06
Deadline for ECRTS: 7 February 2019
2018-10-04
G. Baudart awarded the ACM SIGBED Paul Caspi Memorial Dissertation Award at ESWEEK in Turin. Bravo Guillaume!
2018-06-13
Interventation au Séminaire des doctorantes et doctorants en informatique de la SIF.
2018-05-28
Lélio presents our work together on adding a modular reset to Vélus at the SCOPES 2018 workshop.
2018-03-21
Intervention dans le cours de Gérard Berry au Collège de France.