ISSTA 2019 (series) / Alice Miller
![Alice Miller](https://conf.researchr.org/getProfileImage/alicemiller/da2474cb-84df-462d-9b32-3a354da09f87/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 2019-profile
View general profile
View general profile