EPSRC logo
Researcher Details
 
Name: Professor M Butler
Organisation: University of Southampton
Department: Electronics and Computer Science
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Electronic Devices & Subsys.

Current EPSRC Support
EP/K034448/1 PRiME: Power-efficient, Reliable, Many-core Embedded systems(C)
Previous EPSRC Support
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