Brijesh Dongol

Papers

Total Citations

H-Index

About

Brijesh Dongol is a leading researcher in formal methods, cyber-physical systems, and concurrency theory, with a focus on ensuring the reliability and safety of complex, autonomous systems. His major contributions lie in developing rigorous mathematical frameworks for verifying the correctness of concurrent and distributed algorithms, particularly in the context of weak memory models and real-time systems. Dongol's work bridges the gap between theoretical computer science and practical engineering, addressing critical challenges in the design of dependable robotics and autonomous systems. With over 3,000 citations across his body of work, his research has had a significant impact on the formal verification community. Notably, he co-authored the highly cited "Panel Discussion: Regulation and Ethics of Robotics and Autonomous Systems" (2020), which underscores his engagement with the societal implications of technology. Dongol's achievements include leading major research projects on verified concurrency and serving as a program chair for top-tier conferences. His work continues to shape how engineers and computer scientists approach the verification of modern, safety-critical systems.