![Alice Miller](https://conf.researchr.org/getProfileImage/alicemiller/07ae1393-2f01-4c5c-963e-43231ee5ca13/small.jpg?1711554427000)
Registered user since Sun 30 Oct 2016
Name:Alice Miller
Bio:
Senior Lecturer at the University of Glasgow.
Country:United Kingdom
Affiliation:University of Glasgow
Personal website: http://www.gla.ac.uk/schools/computing/staff/alicemiller/
Research interests:Formal verification, graph theory, symmetry reduction, abstraction
Contributions
ISSTA 2017-profile
View general profile
View general profile