Марина Полубелова

Марина Полубелова


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

Биография

Окончила математико-механический факультет СПбГУ в 2015 году, получив диплом бакалавра по программированию и администрированию информационных систем. В настоящее время учится на первом курсе магистерской программы.

Публикации

Certified Grammar Transformation to Chomsky Normal Form in F*

August 2016

Marina Polubelova, Sergey Bozhko, Semyon Grigorev

Proceedings of the Institute for System Programming

Подробнее

Lexical Analysis of Dynamically Generated String Expressions

2016

Marina Polubelova, Semyon Grigorev

Systems and Means of Informatics

Подробнее

String-embedded Language Support in Integrated Development Environment

2014

Semen Grigorev, Ekaterina Verbitskaia, Andrei Ivanov, Marina Polubelova, and Ekaterina Mavchun

Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia 2014

Подробнее