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

20 сентября: Автоматное программирование: определение, модель, реализация

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

Leave a comment

21 июня: К вопросу построения инструмента формальной верификации смарт-контрактов

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

Leave a comment

1 марта: О верификации программ, манипулирующих строковыми данными

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

Leave a comment

16 ноября: Операционные методы в приложении к слабым моделям памяти

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

Leave a comment

21 сентября: ИНТЕРКОМП-технология создания сложных систем управления

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

Leave a comment

27 апреля: Тестирование отказоустойчивости распределенной торговой системы методом эмуляции отказов

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

Leave a comment

16 марта: Доказательство свойств функциональных программ методом насыщения равенствами

Гречаник Сергей Александрович — сотрудник Института прикладной математики РАН имени М.В. Келдыша. В 2011 году окончил факультет вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. В докладе рассматривается метод преобразования программ на нестрогом функциональном языке первого порядка, основанный на комбинации … Continue reading

Leave a comment

16 февраля: Методы и средства верификации протоколов когерентности памяти

Буренков Владимир Сергеевич — научный сотрудник АО «МЦСТ». В 2012 году окончил факультет «Информатика и системы управления» МГТУ имени Н.Э. Баумана (магистр техники и технологий по направлению «Информатика и вычислительная техника»). В докладе будет рассмотрена проблема верификации протоколов когерентности памяти … Continue reading

Leave a comment

19 января: Кибербезопасность и бортовые операционные системы

Абрамов Александр Владимирович — генеральный директор ООО «НТЦ «АМДЭФ». Закончил факультет микроприборов и технической кибернетики МГИЭТ (ТУ). Работал над проектами ГУП НПЦ «Спурт» и НТЦ «АМДЭФ» по созданию аппаратуры помехоустойчивого кодирования сигналов спутниковой связи. Разработчик операционных систем реального времени «Пилот» … Continue reading

Leave a comment

17 ноября: Проект Ангара: вычислительные эксперименты на языке программирования F#

Сергей Березин — к.ф.-м.н., доцент на ВМК МГУ, руководит лабораторией «Информационных технологий в научных исследованиях». Читает авторские курсы лекций «Компьютерная графика» и «Объектно-ориентированное программирование на платформе .NET». В область профессиональных интересов входят научная визуализация, средства хранения и анализа данных, программные … Continue reading

Leave a comment