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

Биография

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

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

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

Публикации