Dr Charles Grellois
School of Computer Science
Lecturer in Verification
Deputy School Head of ED&I
Full contact details
School of Computer Science
Regent Court (DCS)
211 Portobello
ΞΆΓάΘ¦
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 ΞΆΓάΘ¦ 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