Registered user since Thu 8 Sep 2016
Timothy Bourke is a Research Scientist at Inria Paris in the PARKAS team. His research is centered on rigorous approaches to modelling, programming, and verifying embedded control systems and their physical environments. He focuses particularly on applying interactive theorem provers and synchronous languages to practical problems. He teaches at the École normale supérieure and the École polytechnique.
Bourke received his Doctor of Philosophy (PhD) from the University of NSW, Sydney in 2010. He also holds an honours degree in Computer Engineering from the University of Wollongong. Before joining Inria, he worked in the ICT industry during his studies and as a post-doc in the seL4 project at NICTA in Sydney.
Contributions