Welcome to my webpage!
I am a Reader in Computing at
the School of Sciences and Engineering, University of Dundee.
I am also a member of Programming Languages, Semantics, and Logic research group.
On the 1st March, I am starting as an Associate Professor at the School of Mathematical and Computer Sciences (MACS), at Heriot-Watt university;
and will be working in the ``Dependable Systems" group there.
Below you will find some information about my work: