Scholar
Dilian Gurov
Google Scholar ID: PeWxPx0AAAAJ
Professor in Computer Science, KTH Royal Institute of Technology
Citations & Impact
Citations
480
H-index
12
i10-index
16
Publications
20
Co-authors
15
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Published multiple papers and has served as a PC member or organizer for various international conferences such as iFM 2023, TAP 2023, ISoLA 2021, etc.
Research Experience
- Currently involved in the FormAI project (2023-2026), which aims to explore how to combine Generative AI and Formal Verification to generate correct code for safety-critical embedded automotive software. Has been part of several past projects including AVerT2, AVerT, REVaMP, CVPP, PlaTE, AkUt, UaESMC, HATS, and FoVeOOS.
Education
- Ph.D. from the University of Victoria, Canada.
Background
- Professor in Computer Science at the Department of Theoretical Computer Science (TCS) of the School of Electrical Engineering and Computer Science (EECS) of the Royal Institute of Technology (KTH) in Stockholm. Research interests include Software Specification and Verification, Contracts for software development, Program models, logics and tools, Compositional and procedure-modular reasoning, Multi-Agent Strategic Planning, Multi-player games with imperfect information, Synthesis of knowledge-based strategies.
