Dr Charles Grellois

School of Computer Science

Lecturer in Verification

Charles Grellois profile picture
Profile picture of Charles Grellois profile picture

Full contact details

Dr Charles Grellois
School of Computer Science
Regent Court (DCS)
211 Portobello
S1 4DP

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 Sheffield 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.


There has been a problem showing this information. Please try again later.

Research group

Member of the Foundations of Computation research group