Лучшие преподаватели в номинации "Лучший научный руководитель" в 2022 году
Заведующий лабораторией Ирина Александровна Ломазова признана лучшим научным руководителем по итогам конкурса НИРС. Поздравляем!
Лучшие преподаватели НИУ ВШЭ 2022 года
Поздравляем сотрудников лаборатории - Алексея Мицюка, Нестерова Романа, Карраскель Хулио - с победой в выборах лучших преподавателей ФКН
Высшая школа экономики и Сбер подписали соглашение о сотрудничестве
НИУ ВШЭ и Сбер заключили соглашение о сотрудничестве. Подписи под документом поставили президент, председатель правления Сбербанка Герман Греф и ректор Вышки Никита Анисимов. Соглашение направлено на реализацию совместных проектов образовательного, научного, профориентационного, просветительского и информационного характера.
Подведены итоги конкурса НИРС-2021
В номинации «Лучшая научно-исследовательская работа по компьютерным наукам для студентов бакалавриата и специалитета» третье место заняла работа «Algorithm for checking resource bisimilarity in Petri nets: applicability evaluation», выполненная студентом 3 курса Агроскиным Александром Викторовичем.
Научный руководитель - заведующая лабораторией Ломазова Ирина Александровна.
Поздравляем коллег!
International Summer School on Data Science in Software Engineering
Заведующая лабораторией Ломазова Ирина Александровна выступила с лекцией на Международной летней школе по анализу данных в программной инженерии
Подведены итоги конкурса НИРС-2020
Антон Ригин, студент 2 курса магистерской программы "Системная и программная инженерия", занял 1 место в номинации «Лучшая научно-исследовательская работа по компьютерным наукам для студентов магистратуры и выпускников 2020 года».
Работа на тему «Reference and data semantic-based simulator of Petri Nets extension with the use of Renew tool» выполнена под руководством научного сотрудника НУЛ ПОИС Шершакова Сергея Андреевича.
Поздравляем коллег!
XI Workshop "Program Semantics, Specification and Verification: Theory and Applications" PSSV-2020
Состоялся одиннадцатый международный воркшоп «Program Semantics, Specification and Verification: Theory and Applications (PSSV-2020)»
Прошла международная онлайн-конференция MACSPro-2020
22-24 октября прошла онлайн-конференция MACSPro-2020 (Modeling and Analysis of Complex Systems and Processes), посвященная моделированию и анализу сложных систем и процессов. Ее цель — обмен опытом между исследователями, работающими над теоретическими и практическими составляющими анализа сложных систем в различных отраслях, от астрофизики и биоинформатики до бизнеса.
The 9th International Conference on Analysis of Images, Social Networks and Texts (AIST 2020)
Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов
О проблеме эквивалентности последовательных программ с процедурами
Стажер-исследователь Казбекова Диана выступила на семинаре лаборатории