Dr Charles Grellois
Lecturer in Verification & ARIA Innovator Circle Lead
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).

Some of my commitments.

• Lead for a Sheffield-based Innovator Circle, backed by ARIA: website, ARIA's annoucement

• Member of the organising committee of the ECR network of Sheffield's Neuroscience Institute

• Former (co)-organiser of the Young Researchers track of the OWLS seminar, very active during the pandemic

• Panelist for the EDI Hub+ Flexible Fund

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 (MPRI).