Unlock your academic potential and expand your network by joining us!

Alice Miller

Prof. Alice Miller

University of Glasgow, UK

Share Link

Share

Information

Alice Miller is a Professor of Computing Science at the University of Glasgow, UK. She gained her PhD from the University of East Anglia  in 1989. She has worked at the Universities of Western Australia, East Anglia, Stirling, and Glasgow. She is a member of the London Mathematical Society and the IET. She is a Chartered Engineer.

Research Keywords & Expertise

Combinatorics
Formal Methods
Graph Theory
Model Checking
Verification

Fingerprints

50%
Model Checking
10%
Verification
5%
Combinatorics
5%
Graph Theory

Short Biography

Alice Miller is a Professor of Computing Science at the University of Glasgow, UK. She gained her PhD from the University of East Anglia  in 1989. She has worked at the Universities of Western Australia, East Anglia, Stirling, and Glasgow. She is a member of the London Mathematical Society and the IET. She is a Chartered Engineer.