Dr Timothy Bourke
en: [tImɒθiː bɜːʳk] or fr: [timɔte buʀk] (Tim, [tIm] or [tiːm]); email@example.com; c/o ENS, Paris...
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.
- PC member of EMSOFT (2015, 2016, 2017), RTAS 2016, SCOPES 2017, and Modelica (2015, 2017).
- Journal reviewing: ACM Trans. on Embedded Computing Systems (2013, 2016), IEEE Embedded Systems Letters (2016), J. Logic and Computation (2013), Real-Time Systems (2012, 2013, 2014), IEEE Trans. on Software Engineering (2016), and Theoretical Computer Science (2010, 2012).
- Conference reviewing: ACSC (2010), ACSD (2013), ASP-DAC (2006), CONCUR (2013), CPP (2012), DAC (2014, 2015), DATE (2011, 2012, 2013, 2015), FASE (2015), FORMATS (2009, 2010), JFLA (2015), NFM (2015), POPL (2012), RTSS (2010), WPDRTS (2006, 2007).
- Guillaume Baudart defends his PhD thesis.
- Talk in the CS Theory Group at the University of Birmingham on verifying the compilation of Lustre.
- Participation au Forum Méthodes Formelles à Toulouse.
- Article sur la compilation de Lustre dans Coq accepté pour les JFLA en janvier.
- Article on LTTA appears in ACM TECS journal.
- Talk accepted for ACM Workshop on ML 2016.