Dr Charles Grellois

About

Charles studied mathematics and theoretical computer science at the École Normale Supérieure de Cachan and obtained his PhD from Université Paris Diderot in 2016. Before joining Sheffield in 2023, he was a postdoctoral researcher in Bologna and held Maître de Conférences positions in Aix-Marseille and Bordeaux.His core research is in the semantics and verification of programs, especially functional programs. He uses tools from denotational semantics, type theory, linear logic, fixed-point theory, modal logics and higher-order model checking to reason about program behaviour, both in deterministic and probabilistic settings.A second strand of his work applies mathematical and computational modelling to complex biological and medical systems. In collaboration with colleagues in neuroscience,