Name:	Professor A Mycroft
Organisation:	University of Cambridge
Department:	Computer Science and Technology
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/M026124/1 CamFort: Automated evolution and verification of computational science models (C) EP/J016284/1 DOME: Delaying and Overcoming Microprocessor Errors (P) EP/F018649/1 C3D: Communication Centric Computer Design (C) EP/F033958/1 Linguistic Support for Test Development (P) EP/C547632/1 A Transport Information Monitoring Environment (TIME): Event Architecture and Context Management (TIME-EACM) (C) GR/S68941/01 Higher-Level Languages for Network Processors (P) GR/N64526/01 A RESOURCE-AWARE FUNCTIONAL LANGUAGE FOR HARDWARE SYNTHESIS (P) GR/L86326/01 SELF-TIMED MICROCONTROLLERS (C) GR/J11140/01 THEORY OF SPEED INDEPENDENT CIRCUITS (P) GR/H14465/01 STRICTNESS ANALYSIS,TYPES AND REDUCTION MACHINES (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator