Dimitar P. Guelev - previous affiliations 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 University of Paris XII
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)
Last updated: August, 2014  
Home | Institute of Mathematics and Informatics | BAS