ECOOP and ISSTA 2021 (series) / Alice Miller
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
ECOOP and ISSTA 2021-profile
View general profile
View general profile