Dilian Gurov

Papers

Total Citations

H-Index

About

Dilian Gurov is a leading researcher in formal methods, automated verification, and software engineering, with a particular focus on ensuring the reliability of embedded control systems. His work bridges the gap between theoretical computer science and practical software assurance, addressing critical challenges in safety-critical domains. Gurov’s most-cited paper, “Automated Verification of Embedded Control Software” (2020), introduces novel techniques for the rigorous, automated analysis of control software, demonstrating how formal verification can be applied to real-world embedded systems to detect subtle errors that might otherwise go unnoticed. This contribution has garnered attention from both academia and industry, with 3 citations reflecting its growing influence in the verification community. Beyond this work, Gurov has made significant strides in compositional verification, program analysis, and the development of logic-based frameworks for software correctness. His achievements include advancing the state of the art in modular verification, enabling scalable reasoning about complex systems. For students and researchers, Gurov’s work exemplifies how formal methods can be practically harnessed to build more trustworthy software, making him a key figure in the ongoing effort to automate and enhance software reliability.