EPSRC logo
Researcher Details
 
Name: Dr B Dongol
Organisation: University of Surrey
Department: Computing Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Robotics & Autonomy
Software Engineering

Current EPSRC Support
EP/R019045/2 Verifiably correct concurrency abstractions(P)
EP/R032556/1 Verifiably Correct Transactional Memory(P)
EP/R025134/2 RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots(C)
Previous EPSRC Support
EP/R025134/1 RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots(C)
EP/R019045/1 Verifiably correct concurrency abstractions(P)
EP/N016661/1 Verifiably correct high-performance concurrency libraries for multi-core computing systems(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator