
OLIVIEROUX.WORDPRESS.COM
Professional webpage of Olivier Roux | Professor of Computer ScienceResearch interests Embedded, Reactive, Real-Time Computer Systems; Synchronous Languages Formal Methods; Model-Checking; Timed Systems; Control of Dynamic Complex Systems Bioinformatics: Systems Biology. Teaching Parallel and Formal Methods: PAMEF Object-oriented Programming (Java) Algorithmics and Programming (C) Compiling Other activities Head of the MeForBio team at IRCCyN. Scientific Delegate at HCERES, (previously at the French Research Ministry (2006-2010) and at ANR (2010-2012)) Honorary…
http://olivieroux.wordpress.com/