Dimitar Guelev

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

Teaching Interests
Include temporal logic, formal methods and theoretical computer science in general

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)

We are Social