EPSRC logo
Researcher Details
 
Name: Professor CB Jones
Organisation: Newcastle University
Department: Computing Sciences
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/N023641/1 STRATA; Layers for Structuring Trustworthy Ambient Systems(C)
EP/K011707/1 Taming Concurrency(P)
Previous EPSRC Support
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