|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).
View My Stats