Éric 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 École 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.
On S4 modal logic:
Last revised on August 23, 2023 at 18:41:35. See the history of this page for a list of all contributions to it.