Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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

Personal website: https://research.jetbrains.org/researchers/db

Research interests: Programming languages, compilers, functional programming, logic and relational programming, types, static analysis

Contributions

PEPM 2021 Efficient Fair Conjunction for Structurally-Recursive Relations
CPP 2021 Certified Semantics for miniKanren
Show activities from other conferences

POPL 2021-profile
View general profile