School of Computing Science

Staff Profiles

Dr Charles Morisset

Lecturer in Security

Research

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. 

Publications