Организаторы

Гаранина Наталья

к.ф.-м.н., с.н.с. Института Систем Информатики, Института Автоматики и Электрометрии СО РАН, доцент НГУ

Ответственная за секцию Model Checking

Ведущий разработчик-исследователь «Лаборатория Касперского».

Экспертная роль, формальная спецификация, проверка моделей, работа над улучшениями процессов в арх. комитете.

Ответственный за секцию "TLA+: Temporal Logic of Actions + data structures"

Doctor of Sciences ETH Zürich, старший разработчик-исследователь «Лаборатория Касперского», победитель контеста Veha-2024

Ответственный за секцию "Пошаговое выведение свойств в Isabelle/HOL"

к.ф.-м.н., научный сотрудник Института систем информатики им. А.П. Ершова СО РАН, старший преподаватель Новосибирского государственного университета.

Ответственный за секцию "Дедуктивная верификация одного из первых в истории математики циклических алгоритмов из Древней Индии"

Координатор задач от «Лаборатория Касперского»

к.ф.-м.н., доцент АлтГТУ, с.н.с. Института Автоматики и Электрометрии СО РАН

Ответственный за секцию Model Checking

И за данный сайт

Руководитель направления формальной верификации СЗИ

Группа Астра

Ответственный за секцию Coq

к.ф.-м.н, преподаватель Лицея 22 «Надежда Сибири», ex. Иннополис

координатор

к.т.н, доцент кафедры распределенных вычислений СПбПУ

Ответственная за секцию Model Checking

Ведущий разработчик-исследователь «Лаборатория Касперского»

Совмещает роли лида команды и специалиста по проверке моделей.

Ответственный за секцию "TLA+: Temporal Logic of Actions + data structures"

Page updated

Google Sites

Report abuse