Alice A Miller
Lecturer
Alice A Miller
Department of Computing Science
17 Lilybank Gardens
University of Glasgow
Room 311, Boyd Orr Building
Glasgow
United Kingdom
Contact by e-mail?
Model checking; inductive reasoning; group theoretic search reduction; GAP; probabilistic model checking.
Start A New Search
If you are a faculty member and are not presently included in our Who's Who in Academia,
you may submit a request to be added.
If you are currently included in our database and have previously established an account, you
can update any of the information shown in your record.