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

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

• от 2009 до 2011 - Математическа логика и компютърна лингвистика: развитие и взаимно проникване
  
• от 2006 до 2008 - MATHLOGAPS - a Marie Curie FP6 Early Stage Training Network in Mathematical Logic
  
• от 2006 - Лаборатория по Интерактивна Мултимедия
  
• от 2004 до 2006 - Interviso - част от международния проект Multimedia Technology for Mathematics and Computer Science Education
  

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

• Упражнения по Функционално програмиране, спец. Информационни системи
  
• 3 група, вторник 14 - 16, зала 306
  
• 2 група, сряда 12 - 14, зала 019