Dr. Dilian Gurov

Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Dilian Gurov. Improve your application with a focused, well-structured draft.

Biography

Dilian Gurov is a Professor at the Royal Institute of Technology (KTH) in the Department of Computer Science. He coordinates the Doctoral Programme in Computer Science and has contributed significantly to the field since joining KTH in 2002. Dilian obtained his Ph.D. from the University of Victoria, Canada, in 1998 and previously worked at the Swedish Institute of Computer Science from 1997 to 2002. His research interests center on Software Specification Verification, focusing on Contracts in Software Development, Program Models, and Logics Tools, as well as Multi-Agent Strategic Planning, particularly in Multi-Player Games with Imperfect Information. He has published notably in various journals and conferences, earning awards such as the CAV Distinguished Paper Award in 2023 and the EASST award for Software Science Paper in 2004. He has been involved in notable funding projects, including SEFROS and ContraST, with current funding for AVerT2. His role in the scientific community encompasses contributions as a program committee member and organizer for various workshops and conferences, highlighting his dedication to advancing his field.

Research Interests

Software Specification Verification Multi-Agent Strategic Planning

Experience

Professor

2002-01-01 — Present

Royal Institute of Technology • Stockholm, Sweden

Coordinates the Doctoral Programme in Computer Science.

Awards

#

CAV Distinguished Paper Award

2023-01-01
#

EASST award

2004-01-01

Courses

Automata Languages (DD2373) Formal Methods (DD2452) Knowledge Games Imperfect Information (FDD3250) Program Semantics Analysis (DD2557) Program Semantics Analysis (FDD3557) Seminars Static Analysis (FDD3011)

Requirements for Royal Institute of Technology

Master Program
Requirements
GPA Requirement
Required:3.7
IELTS
Listening
Required:5.5
Reading
Required:5.5
Writing
Required:5.5
Speaking
Required:5.5
Overall
Required:6.5
TOEFL
Writing
Required:20
Total
Required:90
PTE
Writing
Required:61
Overall
Required:62
Prerequisites
Bachelor's degree (180 ECTS) in a relevant field Calculus in one variable Linear Algebra Probability Theory and Statistics
Application Checklist
  • Certificates and diplomas from previous university studies
  • Transcript of completed courses and grades
  • Proof of English proficiency
  • Copy of passport
  • Curriculum Vitae (CV)
  • Letter of Motivation
  • Summary sheet (if required by program)
  • Letters of Recommendation (standard for most programs)
Specialization Notes

Specific requirements apply to all departments. For Architecture, a portfolio is mandatory and submitted via a separate KTH system.