Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
Yurii Kostuikov

Registered user since Tue 6 Apr 2021

Name: Yurii Kostuikov

Bio: Graduated from the SECS USU’15. In 2017/2018 academic year became a member of symbolic .NET VM development team. Graduated with honor as a Software Engineer at SPSU, the Mathementics and Mechanics Faculty, Department of Computer Science in 2019. Working on master’s thesis at SPSU. A member of Formal Verification group of Programming Languages and Tools Lab of JetBrains Research.

Country: Russia

Affiliation: St. Petersburg State University; JetBrains Research

Personal website: http://origin.research.jetbrains.org/researchers/columpio

GitHub: https://github.com/Columpio

Research interests: Formal verification, program synthesis, programming languages, type systems, theorem proving


PLDI 2021 Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Show activities from other conferences

Using general profile