nLab
Eric Goubault

Eric Goubault is a research director at CEA (since 2003), and professor at École Polytechnique since 2005. He is in charge of the Laboratory for the Modelling and Analysis of Interactive Systems (LIST) at CEA, as well as a joint research team (with the same name) between CEA, CNRS and Ecole Polytechnique. His research interests include fundamental computer science, semantics, abstract interpretation, static analysis and verification (both theory and practise), numerical domains, concurrency theory and directed algebraic topology.