Даниил Березун

Биография

Даниил является кандидатом физико-математических наук. Он защитил кандидатскую диссертацию на тему "Трассирующая нормализация" в марте 2018 года. В настоящее время Даниил является руководителем ислледовательской группы метавычислений и распределённых технологий в составе лаборатории языковых инструментов JetBrains Research, а также доцентом в Высшей Школе Экономики.

Автореферат диссертации.

Кандидатская диссертация.

Профессиональная деятельность

  • Анализ, разработка и реализация языков программирования
  • Метапрограммирование и метавычисления
  • Типы данных в языках программирования
  • Семантика языков программирования
  • Сертификационное программирование

Научное руководство

  • Никита Мишин, магистр Мат.-Мех. СПбГУ
  • Иван Тюляндин, магистр Мат.-Мех. СПбГУ
  • Алексей Тюрин, магистр Мат.-Мех. СПбГУ
  • Илья Балашов, бакалавр Мат.-Мех. СПбГУ

Публикации