Dr Charles Grellois
Lecturer in Verification
School of Computer Science, University of Sheffield

Academic positions.

•  Lecturer in Verification, University of Sheffield, School of Computer Science,  August 2023 -- now.

• Maître de Conférences (Lecturer), Bordeaux INP (2022-2023).

• Maître de Conférences (Lecturer), Aix-Marseille University (2017-2022).

Education, PhD, postdoc.

• Postdoc in Bologna with Prof Ugo Dal Lago (Jan 2016 - Aug 2017).

• RA in Dundee with Prof Marco Gaboardi (Aug-Dec 2015).

• PhD from Paris Diderot University (obtained in April 2016).
  Title: Semantics of linear logic and higher-order model-checking.
  Primary supervisor:  Dr Paul-André Melliès. Secondary supervisor:  Dr Olivier Serre.

• Studies of Mathematics and (Theoretical) Computer Science at Ecole Normale Supérieure de Cachan (now ENS Paris-Saclay).
  I hold a BSc and a MSc in Mathematics, and a BSc and a MSc in Computer Science.