Guelev, Dimitar
Guelev, Dimitar
Courses
- Introductory Mathematics, MAT 100b
- Introductory Mathematics, MAT 100c
Research Interests
- Temporal logic
- Formal methods and theoretical computer science in general
Education
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)