Marc Pouzet

About

Marc Pouzet is a Professor at École normale supérieure in the Computer Science department (DIENS) and leader of the PARKAS project-team at INRIA Paris. His research focuses on the design, semantics, and implementation of languages for critical real-time software, including synchronous languages, functional programming, and hybrid systems. He developed Lucid Synchrone and Zélus, and works on the formally verified compiler Vélus.