• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Тема «репортаж о событии»

Иллюстрация к новости: Лучшие преподаватели в номинации "Лучший научный руководитель" в 2022 году

Лучшие преподаватели в номинации "Лучший научный руководитель" в 2022 году

Заведующий лабораторией Ирина Александровна Ломазова признана лучшим научным руководителем по итогам конкурса НИРС. Поздравляем!

Иллюстрация к новости: Лучшие преподаватели НИУ ВШЭ 2022 года

Лучшие преподаватели НИУ ВШЭ 2022 года

Поздравляем сотрудников лаборатории - Алексея Мицюка, Нестерова Романа, Карраскель Хулио - с победой в выборах лучших преподавателей ФКН

Иллюстрация к новости: Высшая школа экономики и Сбер подписали соглашение о сотрудничестве

Высшая школа экономики и Сбер подписали соглашение о сотрудничестве

НИУ ВШЭ и Сбер заключили соглашение о сотрудничестве. Подписи под документом поставили президент, председатель правления Сбербанка Герман Греф и ректор Вышки Никита Анисимов. Соглашение направлено на реализацию совместных проектов образовательного, научного, профориентационного, просветительского и информационного характера.

Иллюстрация к новости: Подведены итоги конкурса НИРС-2021

Подведены итоги конкурса НИРС-2021

В номинации «Лучшая научно-исследовательская работа по компьютерным наукам для студентов бакалавриата и специалитета» третье место заняла работа «Algorithm for checking resource bisimilarity in Petri nets: applicability evaluation», выполненная студентом 3 курса Агроскиным Александром Викторовичем.
Научный руководитель - заведующая лабораторией Ломазова Ирина Александровна.
Поздравляем коллег!

Иллюстрация к новости: International Summer School on Data Science in Software Engineering

International Summer School on Data Science in Software Engineering

Заведующая лабораторией Ломазова Ирина Александровна выступила с лекцией на Международной летней школе по анализу данных в программной инженерии

Иллюстрация к новости: Подведены итоги конкурса НИРС-2020

Подведены итоги конкурса НИРС-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

XI Workshop "Program Semantics, Specification and Verification: Theory and Applications" PSSV-2020

Состоялся одиннадцатый международный воркшоп «Program Semantics, Specification and Verification: Theory and Applications (PSSV-2020)»

Иллюстрация к новости: Прошла международная онлайн-конференция MACSPro-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)

Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов

Иллюстрация к новости: О проблеме эквивалентности последовательных программ с процедурами

О проблеме эквивалентности последовательных программ с процедурами

Стажер-исследователь Казбекова Диана выступила на семинаре лаборатории