University of Glasgow tel: +44 (0)141 330 4454 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 Section ( FATA)

My research involves using mathematical techniques to analyse complex
software systems. These systems include autonomous vehicles such as
UAVs, robots, and telecommunications systems. We develop models which
we can analyse using logical properties to define the sort of
behaviour we expect the system to have. This allows us to expose
hidden
errors that could affect the performance, efficiency and sometimes
safety of a system. The particular technique I use is a type of
formal verification called

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

Dr. Alice Miller, alice.miller@glasgow.ac.uk School of Computing Science, Room S133, University of Glasgow, Glasgow, Scotland, G12 8QQ.