Валентин Соболь

Валентин Соболь


Исследовательские группы

Биография

Аспирант Санкт-Петербургского политехнического университета Петра Великого. 

Профессиональная активность

В настоящий момент работаю над подходом к выводу refinement типов для языка Kotlin с помощью Constrained Horn Clause.

Также преподаю в Санкт-Петербургском политехническом университете и веду курс «Технологии программирования».