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