|
| Name: |
Professor CB Jones |
| Organisation: |
Newcastle University |
| Department: |
Sch of Computing |
| Current EPSRC-Supported Research
Topics: |
|
| Current EPSRC Support |
| There is no current EPSRC Support |
| Previous EPSRC Support |
| EP/N023641/1 | STRATA; Layers for Structuring Trustworthy Ambient Systems | (C) |
| EP/K011707/1 | Taming Concurrency | (P) |
| EP/J008133/1 | Trustworthy Ambient Systems: Resource Constrained Ambience | (C) |
| EP/I01344X/1 | UK Infrastructure Transitions Research Consortium (ITRC): PROGRAMME GRANT: Long term dynamics of interdependent infrastructure systems | (C) |
| EP/H024050/1 | AI4FM: using AI to aid automation of proof search in Formal Methods | (P) |
| EP/E035329/1 | Trustworthy Ambient Systems (TRAMS) | (P) |
| EP/C510615/1 | Splitting atoms safely (in software design) | (P) |
| GR/S04642/01 | Dependable, Service-centric Grid Computing | (P) |
| GR/P01137/01 | DTA - University of Newcastle upon Tyne | (C) |
| GR/P00345/01 | DTA - University of Newcastle upon Tyne | (C) |
| GR/N13999/01 | INTERDISCIPLINARY RESEARCH COLLABORATION IN DEPENDABILITY OF COMPUTER-BASED SYSTEMS | (P) |
| GR/K41076/01 | VISITING FELLOWSHIP- DR K HONDA | (P) |
| GR/J11058/01 | A DEVELOPMENT METHOD FOR CONCURRENT (OBJECT-BASED) PROGRAMS | (P) |
| GR/D60294/01 | IPSE 2.5 | (P) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|