Dr Charles Grellois
School of Computer Science
Lecturer in Verification
Full contact details
School of Computer Science
Regent Court (DCS)
211 Portobello
91Ö±²¥
S1 4DP
- Profile
-
Charles studied mathematics and theoretical computer science at Ecole Normale Supérieure de Cachan. He obtained his PhD from Université Paris Diderot in 2016. He was a postdoctoral researcher in Bologna, then a Maître de Conférences (Lecturer) in Aix/Marseille, and then in Bordeaux. He joined the University of 91Ö±²¥ in 2023.
- Research interests
-
Charles is mainly concerned with the verification of functional programs, in the deterministic case, but also in the probabilistic one. He uses methods from semantics and type theory that are refined to fit verification tasks.
Charles also has side projects with mathematicians and oncologists from Marseilles, France, that aim for instance at predicting the evolution of a cancer, or the efficiency of a chemotherapy. We notably use mathematical models (differential equations...), and compare one with machine learning approaches, so as to be able to get the most of both worlds.
- Publications
-
There has been a problem showing this information. Please try again later.
- Research group
-
Member of the Foundations of Computation research group