Valentyn Sobol
Research Groups
Biography
Postgraduate student at St. Petersburg Polytechnic University (Department of Computer Systems and Software Technologies).
Professional Activity
Currently I am working on Constrained Horn Clause based approach for a refinement type inference for Kotlin language.
Also I hold a teaching assistant position in St. Petersburg Polytechnic University and teach "Programming technologies" course.