| 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) 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) |
|||
|