|
| Name: |
Professor M Butler |
| Organisation: |
University of Southampton |
| Department: |
Sch of Electronics and Computer Sci |
| Current EPSRC-Supported Research
Topics: |
|
Fundamentals of Computing
|
Software Engineering
|
|
| Current EPSRC Support |
| EP/V00784X/1 | UKRI Trustworthy Autonomous Systems Hub | (C) |
| EP/V000489/1 | Holistic Design of Secure Systems on Capability Hardware (HD-Sec) | (P) |
|
| Previous EPSRC Support |
| EP/K034448/1 | PRiME: Power-efficient, Reliable, Many-core Embedded systems | (C) |
| GR/M91013/01 | ABCD: AUTOMATED VALIDATION OF BUSINESS CRITICAL SYSTEMS WITH COMPONENT BASED DESIGNS | (C) |
| GR/L87347/02 | EMPIRICAL ASSESSMENT OF FORMAL METHODS | (C) |
| GR/L87347/01 | EMPIRICAL ASSESSMENT OF FORMAL METHODS | (C) |
| GR/M08066/01 | LOGICAL FOUNDATIONS OF PROGRAMMING | (C) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|