ISMM 2021
Tue 22 Jun 2021 PLDI
co-located with PLDI 2021
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

Show activities from other conferences

PLDI 2021-profile
View general profile