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.miller (you input AT symbol) glasgow.ac.uk

I am a Senior Lecturer in the School of Computing Science at the University of Glasgow.

I belong to the Formal Analysis, Theory and Algorithms Research Group ( FATA)

My research focuses on two areas: formal methods and (more generally) the use of symmetry during search. For more details see here.

I am keen to apply our theoretical techniques to real world problems. Please contact me if you are a researcher in an applied field (e.g. chemistry, biology, ...), have a search problem, and are interested in collaborating.

I also welcome applications from high quality potential research students who wish to undertake research in formal methods, specifically in model checking and related areas, or in symmetry-reduced graph search (email me if you are interested in submitting a proposal).

website hit counter

View My Stats

Funded Projects


Research students


Brief biography

Tips for project writing in latex

Craig's folder
Cristina's folder
Mary's folder
Sharan's folder

Useful links

Dr. Alice Miller, alice@dcs.gla.ac.uk
Department of Computing Science, Room S133, University of Glasgow, Glasgow, Scotland, G12 8QQ. Telephone +44 41 330 4256 (ext. 4454), Fax +44 41 330 4913.