I am a Professor in the School of Computing Science at the University of Glasgow.
I belong to the
Formal Analysis, Theory and Algorithms Section ( FATA) and lead the Understandable Autonomous Systems research theme.
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 also have a keen interest in Combinatorial Design Theory. Recent research (in the Symmetry Journal) has focussed on the use of mathematical designs for Breakout Room Allocation Schedules.
You can download Allocation Schedules from our associated website: BoRAT
For information about previously funded projects, teaching, research students and publications, please see my University Web Page.
Prof. 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 4454.