Valentyn Sobol

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.