Антон Кирилов Зиновиев Главен асистентДокторМатематическа логика и приложенията ѝИмейл: anton@lml.bas.bgТелефон: 8161-583Кабинет: ФМИ-219Приемно време: вторник 13-19; сряда 17-19;четвъртък 13-19; петък 13-19Образование и научни степениМагистър, Софийски Университет "Св. Климент Охридски"Научни интересиТеоретична информатикаИстория и развитие на средствата за програмиране (от 1988)Конструктивна математика и математически интуиционизъм (от 1990)Алгебрична теория на рекурсията (от 1992)Логическо програмиране (от 1997)Компютърно моделиране на българската морфология (от 1997)Приложения на крайните автомати (от 1998)Преподавателска дейностЗимен семестър 2005 - 2006Математика, спец. геология, задължителен, хорариум 5+3Математическа логика, спец. математика, задължителен, хорариум 3+2Летен семестър 2005 - 2006Дискретна математика, спец. математика, задължителен, хорариум 2+2Логическо програмиране, спец. информатика, задължителен, хорариум 3+2Методология и технология на програмирането, спец. информатика, хорариум 2+1Списък с публикацииTermal Equations and Finite Controllability. In: Ann. Univ. Sofia, Fac. Math. et Mec., vol. 93 (1999), p. 49-54ITL as a Language for Regular Relations. In: Proceedings of 4th Panhellenic Loguc Symposium, 2003Персонални странициhttp://lml.bas.bg/~anton/