I am a Professor in the School of Computing Science at the University of Glasgow and my research is mainly in Formal Methods although I maintain an interest in Graph Theory and Combinatorics.
I achieved my PhD in Number Theory in 1989 and have since worked at the Universities of Western Australia, East Anglia, Stirling and Glasgow.
Research Keywords & Expertise
Combinatorics
Formal Methods
Graph Theory
Model Checking
Verification
Fingerprints
Model Checking
Verification
Combinatorics
Graph Theory
Short Biography
I am a Professor in the School of Computing Science at the University of Glasgow and my research is mainly in Formal Methods although I maintain an interest in Graph Theory and Combinatorics.
I achieved my PhD in Number Theory in 1989 and have since worked at the Universities of Western Australia, East Anglia, Stirling and Glasgow.