|
| Name: |
Professor Sir C Hoare |
| Organisation: |
Microsoft |
| Department: |
UNLISTED |
| 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/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
|
| |
|
|
|
|