Education July 1987 - June 1991 PhD Student. Faculty of Mathematics and Mechanics, University of Sofia, Sofia, Bulgaria. Thesis topic: Logical means for processing of linguistic knowledge in HPSG. Completed and defended in 2006. October 1981 - June 1986 M.Sc. in Computer Science. Faculty of Mathematics and Mechanics, University of Sofia. 1976 - 1979 National Secondary School of Mathematics "Acad. Chakalov", Sofia, Bulgaria. Honors in all subjects. I was admitted to the University of Sofia without entrance examinations, which were otherwise obligatory in Bulgaria. Work Experience April 1, 1988 - present Research Fellow 3rd and 2nd degree, Mathematician. Linguistic Modelling Laboratory, Central Laboratory for Parallel Processing, Bulgarian Academy of Sciences, Sofia, Bulgaria. September 1986 - June 1987 Programmer. Institute for Software Products and Systems, Sofia, Bulgaria. I was responsible for the development of database software.