Short Bio:
Constantin Enea is a Professor of Computer Science at Ecole Polytechnique (France). His research interests span the areas of programming languages, software verification, and distributed computing. A common thread in his research is improving software reliability and trustworthiness using formal techniques. More precisely, his goals are developing algorithmic and logical foundations for constructing reliable software, effective programming abstractions for concurrent and distributed software, and automated verification and static analysis tools. He was awarded an ERC Starting Grant in 2015, and became a member of Institut Universitaire de France in 2019.