School of Computing

Staff Profiles

Dr Charles Morisset

Director of Postgraduate Studies and Senior Lecturer in Security


My main research interest is on quantitative techniques for security systems, in particular those related to authorisation policies. I have a formal methods background, and I'm quite interested in the process of formalisation, which consists in expressing a concrete problem within a formal model, in order to understand and analyse it.