xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
ICFP 2021
Sun 22 - Sat 28 August 2021
Dmitri Boulytchev

Registered user since Wed 26 Feb 2020

Name:Dmitri Boulytchev
Bio:
  • 1989-1994 — master program at Saint Petersburg State University, Faculty of Mathematics and Mechanics, computer science department.
  • 1999 - present time — Saint Petersburg State University, Faculty of Mathematics and Mechanics, chair of Software Engineering.
  • 2004 - PhD in Computer Science.
  • 2012 - present time — JetBrains Research, Programming Languages and Tools Laboratory supervisor.
Country:Russia
Affiliation:Saint Petersburg State University / JetBrains Research
Research interests:Programming languages, compilers, functional programming, logic and relational programming, types, static analysis

Contributions

miniKanren 2021 A Complexity Study for Interleaving Search
Show activities from other conferences

ICFP 2021-profile
View general profile