Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
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

APLAS 2020 Certified Semantics for Relational Programming
Relational Synthesis for Pattern Matching
Show activities from other conferences

APLAS 2020-profile
View general profile