|Department of Computing Science University of Glasgow tel: +44 (0)141 330 4454 fax: +44 (0)141 330 4913 GLASGOW G12 8QQ Scotland email: alice (you input AT symbol) dcs.gla.ac.uk|
I am a Senior Lecturer in the Department of Computing Science at the University of Glasgow.
I belong to the
Formal Analysis, Theory and Algorithms Research Group ( FATA) and have
been investigator on the ARTE, DIAS
I welcome applications from high quality potential research students who wish to undertake research in formal methods, specifically in model checking and related areas (email me if you are interested in submitting a proposal).
View My Stats Tips for project writing in latex Joseph's folder