Marc Pouzet

Professor · Computer Science

Real-time Embedded SystemsDeterministic ParallelismSynchronous ProgrammingFunctional ProgrammingLanguage designSemanticsType SystemsCompilation

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。