Guelev, Dimitar

Professor Image

Guelev, Dimitar

Email Degree From M.Sc. (1994) and Ph.D. (2001) in mathematical logic, Sofia University, Bulgaria


  • Introductory Mathematics, MAT 100b
  • Introductory Mathematics, MAT 100c

Research Interests

  • Temporal logic
  • Formal methods and theoretical computer science in general


M.Sc. (1994) and Ph.D. (2001) in mathematical logic from Sofia University

Previous affiliations, fixed term employment and research visits

  • Department of Mathematical Logic and Its Applications, Faculty of Mathematics and Informatics, Sofia University “St. Kliment Ochridski”, Bulgaria undergraduate student (1988-94), Ph.D. student (1995-2000)
  • Institute of Logic Language and Computation, University of Amsterdam, Netherlands guest student (1993-94)
  • International Institute for Software Technology, United Nations University, Macau SAR, China fellow (1998, 2000), visiting scholar (2002, 2007)
  • School of Computer Science The University of Birmingham, United Kingdom research fellow (2001-2004, 2005), visiting scholar (2010)
  • Laboratory of Algorithmic, Complexity and Logic, Université Paris-Est Créteil (ex-Université Paris 12), visiting scholar (2007), invited professor (2009, 2012)
  • School of Computer Science and Communication Royal Institute of Technology, Stockholm visiting scholar (2009)
  • State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences visiting scholar (2008), invited professor (2010, 2012, 2014, 2015)