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 RTAS 2016, EMSOFT 2015, and Modelica 2015.
- Journal reviewing: J. Logic and Computation (2013), Real-Time Systems (2012, 2013, 2014), Trans. on Embedded Computing Systems (2013), 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).
- Demo of Zélus at 10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015) at Nancy.
- Presentation at the Journées Nationales GEOCAL-LAC-LTP 2015.
- Release of the checklistings LaTeX package (also on CTAN).
- Paper accepted at Embedded Software 2015.
- Three weeks until the EMSOFT submission deadline.