Timothy Bourke

Timothy Bourke holds dual appointments as a Researcher at Inria (PARKAS team) and Adjunct Professor at École polytechnique's Informatics Department. His research develops rigorous methods for modeling, programming, and verifying embedded control systems, with applications ranging from medical devices to wireless protocols.

Dr. Bourke employs synchronous languages and interactive theorem provers to create practical verification approaches. His team has worked on projects involving robotic wheelchairs, microkernel operating systems, and wireless routing protocols. Current research focuses on bridging theoretical frameworks with real-world embedded system challenges.

As an active member of the programming languages community, he serves on program committees for leading conferences including EMSOFT, ECRTS, and iFM. His pedagogical contributions include courses on programming language theory at École normale supérieure and École polytechnique.