Марина Полубелова
Исследовательские группы
Биография
Окончила математико-механический факультет СПбГУ в 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