Лични средства
Вие сте тук: Начало Преподаватели Компютърна информатика доц. д-р Трифон Трифонов

доц. д-р Трифон Трифонов

Трифон Анчев Трифонов

Доцент, Катедра Компютърна информатика

triffon@fmi.uni-sofia.bg

Кабинет: ФМИ-536

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

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

  • 2006 - Магистър по Математика, Софийски Университет
  • 2004 - Бакалавър по Информатика, Софийски Университет
  • 2000 - Математическа гимназия "Д-р Петър Берон", гр. Варна

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

  • Теоретична информатика
    Функционално и логическо програмиране, Системи за символни пресмятания, Системи от типове
  • Математическа логика
    Ламбда смятане, Теория на доказателствата, Теория на изчислимостта
  • Електронно обучение, Моделиране на когнитивни процеси

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

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

Летен семестър 2011/12

Публикации