Dr Alice Miller BSc(Hons) CEng MIEE

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 and Veriscope projects.

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).