|
| Name: |
Professor AA Miller |
| Organisation: |
University of Glasgow |
| Department: |
School of Computing Science |
| Current EPSRC-Supported Research
Topics: |
|
Artificial Intelligence
|
Common Law inc. Commercial Law
|
|
Design Engineering
|
Ethics
|
|
Robotics & Autonomy
|
Software Engineering
|
|
| Current EPSRC Support |
| EP/X037525/1 | M4Secure: Making Memory Management More Secure | (C) |
| EP/V026607/1 | UKRI Trustworthy Autonomous Systems Node in Governance and Regulation | (C) |
|
| Previous EPSRC Support |
| EP/F033206/1 | Verifying Interoperability Requirements in Pervasive Systems | (C) |
| EP/E032354/1 | Advanced Symmetry Reduction Tools for explicit state model checking | (P) |
| EP/C014774/1 | Design, Implementation and Adaptation of Sensor Networks through Multi-dimensional Co-design | (C) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|