|
| Name: |
Professor R Hierons |
| Organisation: |
University of Sheffield |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Artificial Intelligence
|
Information & Knowledge Mgmt
|
|
Robotics & Autonomy
|
Software Engineering
|
|
| Current EPSRC Support |
| EP/V039156/1 | Security of Digital Twins in Manufacturing | (C) |
| EP/V026801/2 | UKRI Trustworthy Autonomous Systems Node in Verifiability | (C) |
| EP/T030526/1 | CITCoM: Casual Inference for Testing of Computational Models | (C) |
| EP/R025134/2 | RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots | (P) |
|
| Previous EPSRC Support |
| 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/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
|
| |
|
|
|
|