Author Archives: Евгений Корныхин

Шишкин Евгений Сергеевич — ведущий исследователь, научный отдел компании ИнфоТеКС. Научные интересы: формальная верификация моделей реагирующих систем, методы формальной спецификации, SAT/SMT решатели и их применение в задачах верификации программ. Системы на базе технологии блокчейн обещают, по мимо прочего, избавить пользователей … Continue reading →

Шелехов Владимир Иванович — к.т.н. зав.лаб. Системного Программирования, Институт Систем Информатики им. А.П. Ершова СО РАН, Новосибирск. Аннотация (орфография и пунктуация авторские): Одной из предпосылок исследований стало осознание безнадежности императивного программирования. В целях построения адекватной технологии программирования рассматривается классы программ: … Continue reading →

Дмитрий Мордвинов — аспирант кафедры системного программирования СПбГУ, сотрудник JetBrains Research. Индуктивные инварианты являются удобным инструментом доказательства корректности программ. В последнее время популярны подходы к автоматическому выводу индуктивных инвариантов как решений систем дизъюнктов Хорна с ограничениями. Однако довольно часто решения … Continue reading →

Кознов Дмитрий Владимирович — доктор технических наук, профессор кафедры системного программирования СПбГУ. В компаниях по разработке ПО и в отдельных программных проектах к настоящему времени накапливается большое количество данных – требования, ошибки и отчёты об ошибках, запросы на изменения, комментарии … Continue reading →

Самонов Александр Валерьянович — старший научный сотрудник Военно-космической академии имени А.Ф. Можайского, кандидат технических наук, доцент. В докладе представлены результаты анализа современных научных публикаций, существующей нормативно-методической базы, а также технологий и средств, используемых для разработки программного обеспечения критически важных программных … Continue reading →

Любченко Вячеслав Селиверстович — независимый разработчик. Научные интересы: автоматное программирование. В докладе дается оценка текущему состоянию автоматного программирования. По мнению автора доклада, это универсальная технология проектирования программ на базе теории конечных автоматов. Рассматриваются вопросы формализации и реализации автоматного программирования. В … Continue reading →

Шишкин Евгений Сергеевич — ведущий исследователь, научный отдел компании ИнфоТеКС. Научные интересы: дедуктивные методы формальной верификации, методы формальной спецификации, построение специализированных доменных логик, спецификация и верификация распределенных и реагирующих систем, функциональное программирование. Информационные системы на базе технологии блокчейн способны реализовывать … Continue reading →

Непейвода Антонина Николаевна — м.н.с. центра мультипроцессорных систем ИПС им. А.К. Айламазяна РАН. Научные интересы: преобразование и анализ программ, формальные языки и грамматики. В докладе будет рассмотрена проблема преобразования и верификации программ, манипулирующих строками. Предложен новый метод описания свойств параметризованных … Continue reading →

Подкопаев Антон Викторович — аспирант кафедры системного программирования математико-механического факультета СПбГУ, сотрудник JetBrains Research (Language Processing Lab). Антон Подкопаев работает над моделями памяти для языков С/С++ с учетом многопоточности. Модель памяти должна предоставлять гарантии программисту и тем ограничивать пространство возможных … Continue reading →

Грудцин Сергей Николаевич — кандидат физико-математических наук, ведущий специалист НПО «Алмаз». В докладе рассматривается новая отечественная технология ИНТЕРКОМП (ИНТЕРпретация и КОМПиляция) и ее применение для создания новых систем управления. ИНТЕРКОМП-технология представляет собой по своей сущности, содержанию и реализуемым функциям технологию … Continue reading →