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

Registered user since Tue 6 Apr 2021

Name:Yurii Kostyukov
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
Research interests:Formal verification, program synthesis, programming languages, type systems, theorem proving

Contributions

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

Using general profile