Brijesh Dongol
Has grant
Professor
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
Recent Grants
Grant: Close
Verifiably Correct Swarm Attestation
Open Date: 2021-05-31
Close Date: 2024-05-30
Grant: Close
Design and verification of correct, efficient and secure concurrent systems
Open Date: 2019-01-01
Close Date: 2021-12-31
Grant: Close
Verifiably Correct Transactional Memory
Open Date: 2018-09-03
Close Date: 2021-09-02
Grant: Close
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Open Date: 2018-01-01
Close Date: 2022-12-31
Grant: Close
Verifiably correct concurrency abstractions
Open Date: 2017-12-01
Close Date: 2018-07-28
Articles (10)
Year:
2023
Year:
2022
Year:
2022
Year:
2022
Year:
2022
Year:
2022
Year:
2022
Year:
2022
Year:
2021
Year:
2021
Collaborators (1)
Peter Gorm Larsen
Aarhus University
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.