|
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, 2015, 2018)
|