معرفی
Prof. Brijesh Dongol is a Professor at the University of Surrey and Director of the UK Research Institute on Verified Trustworthy Software Systems (VeTSS). He leads research in formal techniques for concurrent and real-time systems, including transactional memory, weak memory models, and hybrid systems. His work emphasizes verification methods to ensure correctness in complex software systems.
Education: BSc in Computer Science and Mathematics, BSc (Hons) in Logic and Computation from Victoria University of Wellington (NZ), PhD from University of Queensland (Australia). Postdoctoral roles at University of Queensland and University of Sheffield followed, before joining Brunel University London as a Lecturer and later the University of Surrey as Senior Lecturer.
Research interests focus on formal verification of concurrent systems, with contributions to weak memory models, transactional memory protocols, and formal methods education. He has led EPSRC-funded projects totaling over £3.5 million, including grants on secure remote memory access and concurrent programming for advanced architectures.
Notable roles include editorial board memberships (Formal Aspects of Computing), program committees (ESOP, FM, FACS), and international conference steering boards (iFM). His advisory roles include the ACM CS202X panel on Programming Languages.
Current projects (2023-2027) include CHIST-ERA's REDONDA blockchain protocol, EPSRC grants on secure RDMA and concurrent programming. Supervised 10+ PhD students and postdocs, with alumni now in industry (e.g., Axiomise, Arm) and academia (Imperial College London).
Labs/Teams: Director of VeTSS, collaborates internationally on projects like RoboCalc and RoboTest. Active in software engineering for robotics (RoboSoft RAEng initiative).
