APLAS 2020 (series) / 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
| APLAS 2020 | Certified Semantics for Relational Programming Relational Synthesis for Pattern Matching | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
APLAS 2020-profile
View general profile
View general profile