معرفی
Professor Alice A Miller is a faculty member at the University of Glasgow's School of Computing Science, where she has held roles including Postdoc, Daphne Jackson Fellow, Lecturer, and Senior Lecturer since 1997. Prior to this, she worked at the Universities of East Anglia, Western Australia, and Stirling. She currently holds a Leverhulme Research Fellowship and is a Chartered Engineer with the IET. Her membership in the London Mathematical Society reflects her interdisciplinary background.
Education: Alice Miller holds a PhD in Number Theory, though her research career has primarily focused on Formal Verification and Model Checking. Her academic trajectory includes leveraging mathematical techniques to analyze systems across engineering and computer science disciplines.
Research interests: Her work centers on applying formal verification methods to ensure safety and reliability in complex systems such as autonomous vehicles, robots, and telecommunications. Key techniques include model checking and symmetry reduction. Specific areas include:
- Modelling and Verification of Concurrent Systems
- Abstraction and Symmetry Reduction Methods
- Graph Theory Applications in System Analysis
- Combinatorics and Group Theory for Optimization
Scientific Awards: Daphne Jackson Fellowship, Leverhulme Research Fellowship, and Chartered Engineer status from the IET.
Grants and Advising: Alice has led or co-investigated multiple grants totaling over £3 million, including projects on digital twins, autonomous systems governance (£2.7M), and secure memory management (M4Secure). She has advised on student-led initiatives like UAV demonstrators and overtaking planning simulations, though specific advisee names are not listed in the provided text.
Labs/Teams: Collaborates with interdisciplinary teams on projects involving robotics, sensor networks, and formal verification tools such as PRISM and SPIN. Her work frequently intersects with engineering and mathematics groups within the university and industry partners like D-RisQ Ltd.
