Personal tools
You are here: Начало → Преподаватели → Математическа логика и приложенията й → проф. д.м.н. Иван Сосков
 

проф. д.м.н. Иван Сосков

Иван Николаев Сосков

Професор, Катедра Математическа логика и приложенията й
Декан на ФМИ

soskov@fmi.uni-sofia.bg

Лична страница

Образование и научни степени

  • 1974 - 1979: Магистър по математическа логика, Факултет по математика и информатика,  СУ "Св. Климент Охридски"
  • 1980 - 1983: Кандидат на математическите науки, Факултет по математика и информатика,  СУ "Св. Климент Охридски"
  • 2001:  Доктор на математическите науки, СУ "Св. Климент Охридски

Научни интереси

  • Теория на рекурсията
  • Изчислимост в абстрактни структури
  • Теоретична информатика

Научни проекти

Д002-258/18.12.08 с НФНИ "Изчислимост с частична информация", ръководител

 

Преподавателска дейност

Зимен семестър 2010 - 2011

  • Изчислимост и сложност, спец. информатика, математика, математика и информатика, приложна математика, хорариум 3+2

Летен семестър 2010 - 2011

  • Семантика на езиците за програмиране, спец. информатика, задължителен, хорариум 2+2

Публикации