
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
SPIN 2017 | Committee Member in Program Committee Committee Member in Program Committee | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2017-profile
View general profile
View general profile