معرفی
Charles Grellois is a Lecturer in Verification at the University of Sheffield's Department of Computer Science. His research focuses on formal verification methods for functional and probabilistic programs using semantic and type-theoretic approaches.
Research interests include program verification, linear logic, higher-order model checking, and termination analysis of probabilistic programs. Collaborates with medical researchers on mathematical modeling for cancer treatment prediction.
Publications appear in computer science logic conferences including CSL and MFPS. Current work develops proof systems for bringing-it-about logics and intuitionistic deontic logic.
۰مقاله منتشرشده
