Prof. Alice Miller is a Professor in the School of Computing Science at the University of Glasgow. She gained her PhD from the University of East Anglia in 1989 and has worked at the Universities of Western Australia, East Anglia, Stirling, and Glasgow. She is a member of the London Mathematical Society and the Institution of Engineering and Technology (IET) and holds the designation of Chartered Engineer. Her research involves using mathematical techniques, particularly state-space reduction and the exploitation of symmetry during search, to analyse complex software systems. She also investigates techniques for the construction of combinatorial structures used for combinatorial designs.