Name:	Professor C Hoare
Organisation:	University of Oxford
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/M92188/01 LINKING TOOLS WITH THEORIES (C) GR/M37493/01 LINKING THEORIES WITH TOOLS FOR SYSTEM DEVELOPMENT (P) GR/M32481/01 COMPOSITIONAL METHODS FOR HARDWARE/SOFTWARE CO-DESIGN (P) GR/K74050/01 DESIGN AND TRANSFORMATIONAL IMPLEMENTATION OF PROVABLY CORRECT REAL TIME SYSTEMS (P) GR/K58708/01 LINKING THEORIES FOR COMPUTER SCIENCE (P) GR/J46630/01 MODELS, ALGEBRA AND MECHANICAL SUPPORT IN Z (P) GR/J15179/01 A DESIGN CALCULUS FOR THE RESOURCE ANALYSIS OF REAL-TIME SYSTEMS (P) GR/J40591/01 PROVABLY CORRECT HARDWARE COMPILATION (P) GR/J15186/01 PROVABLY CORRECT HARDWARE/SOFTWARE CO-DESIGN (P) GR/J05699/01 RULE BASED SYSTEMS AND INTEGRITY CHECKING (P) GR/H84512/01 PARALLEL COMPUTATION AND RANDOMIZATION. CORRECTNESS PROOFS FOR DISTRIBUTED PROTOCOLS (P) GR/H86288/01 GR/F94958 ADJUSTMENT OF STAFF MANMONTHS AND FUNDING (P) GR/F47077/01 THE FORMAL DESIGN OF MEDICAL DIAGNOSTIC COMPUTER PROGRAMS (P) GR/F69611/01 THE SPECIFICATION OF TYPED FORMAL LANGUAGES USING CATEGORIES (P) GR/F94958/01 IED/1/1639 AND 1801 ZIP A UNIFICATION INITIATIVE FOR Z STANDARDS , METHODS AND TOOLS (P) GR/F36491/01 DEMONSTRATION OF THE POSSIBILITY OF TOTALLY VERIFIED SYSTEMS - IED PROPOSAL 1108 (P) GR/F12419/01 AN INVESTIGATION OF PARALLEL LANGUAGES & PARALLEL ALGORITHMS (P) GR/E09108/01 SOFTWARE ENGINEERING (P)

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