Тимофей Брыксин

Биография

В 2007 году с отличием окончил матмех СПбГУ по специальности "Математическое обеспечение и администрирование информационных систем". Кандидат технических наук, диссертация по теме "Платформа для создания специализированных визуальных сред разработки программного обеспечения".

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

  • Диаграммные языки и визуальный подход к разработке ПО (с 2007 года со-руководитель проекта QReal)
  • Инструменты и процессы разработки ПО
  • Автоматизированный анализ кода: поиск дефектов в архитектуре объектно-ориентированных систем

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

Доцент кафедры системного программирования СПбГУ, доцент кафедры математических и информационных технологий СПбАУ РАН.

Лекционные курсы:

  • Software Engineering
  • Software Design
  • Технология разработки программного обеспечения
  • Структуры и алгоритмы компьютерной обработки данных
  • Функциональное программирование на Haskell
  • Основы программирования

Публикации