School of Computing Science

Staff Profiles

Dr Charles Morisset

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.