Charles Grellois
Lecturer in Verification
University of Sheffield
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Charles Grellois is a Lecturer in Verification at the University of Sheffield, UK. His research primarily focuses on proof theory and modal logics, with recent articles addressing topics such as the logics of bringing-it-about, abilities, coalitions, and means-end relationships. He has also contributed to a general framework for intuitionistic non-normal modal logics.
Articles (3)
Year:
2024
Year:
2020
Year:
2020
Collaborators (1)
Tiziano Dalmonte
Free University of Bozen-Bolzano
ITALY
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.