EPSRC logo
Researcher Details
 
Name: Professor R Hierons
Organisation: University of Sheffield
Department: Computer Science
Current EPSRC-Supported Research Topics:
Artificial Intelligence Fundamentals of Computing
Information & Knowledge Mgmt Robotics & Autonomy
Software Engineering

Current EPSRC Support
EP/V039156/1 Security of Digital Twins in Manufacturing(C)
EP/T030526/1 CITCoM: Casual Inference for Testing of Computational Models(C)
EP/V026801/1 UKRI Trustworthy Autonomous Systems Node in Verifiability(C)
EP/R032556/1 Verifiably Correct Transactional Memory(C)
EP/P006116/2 InfoTestSS: Information theory and Test Suite Selection(P)
EP/R025134/2 RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots(P)
Previous EPSRC Support
EP/R025134/1 RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots(P)
EP/P006116/1 InfoTestSS: Information theory and Test Suite Selection(P)
EP/M024083/1 ASSESSING THE QUALITY OF TEST SUITES IN INDUSTRIAL CODE ("AQUATIC")(C)
EP/D050863/2 SEBASE: Software Engineering By Automated SEarch(C)
EP/G031126/1 REFactoring and TESTing ('REFTEST') Network(C)
EP/G04354X/1 The Birth, Life and Death of Semantic Mutants(P)
EP/G032572/1 Testing Probabilistic and Stochastic Systems (ProbTest)(P)
EP/E002919/1 Linear Schemas for Program Dependence(C)
EP/D050863/1 SEBASE: Software Engineering By Automated SEarch(C)
GR/T22872/01 CONTRACTS: CONcept assignment To Raise the abstrACTion level of Slicing(C)
GR/T22865/01 CONTRACTS: CONcept assignment To Raise the abstrACTion level of Slicing(C)
GR/S93684/01 NETWORK: ASTRENET: Analysis, Slicing and Transformation Network(C)
GR/R98938/02 TeTra:Testability Transformation(C)
GR/S79015/01 Testing of Communicating Systems (TestCom UK)(P)
GR/R98938/01 TeTra:Testability Transformation(C)
GR/R43150/01 NETWORK: Formal Methods and Testing (FORTEST)(P)
GR/M58719/02 GUSTT: GUIDED SLICING AND TARGETED TRANSFORMATION(C)
GR/M78083/02 NETWORK: SEMINAL: SOFTWARE ENGINEERING WITH METAHEURISTIC INNOVATIVE ALGORITHMS(C)
GR/M58719/01 GUSTT: GUIDED SLICING AND TARGETED TRANSFORMATION(C)
GR/M78083/01 NETWORK: SEMINAL: SOFTWARE ENGINEERING WITH METAHEURISTIC INNOVATIVE ALGORITHMS(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator