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


Tips for project writing in latex

Sharan's folder

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