
«За год обучения на едином треке у студентов изменился горизонт исследовательского видения»
Высшая школа экономики продолжает развивать новый формат поддержки студентов, выбравших исследовательскую карьеру, – единый трек обучения «магистратура – аспирантура». На первом курсе магистратуры для них будет выделено 75 мест – на две трети больше, чем год назад. Чем привлекателен единый трек, как на него поступить и каких успехов добились студенты, выбравшие его в прошлом учебном году, рассказал проректор ВШЭ Сергей Рощин.
Лекция "КОГДА КОМПЬЮТЕРЫ БЫЛИ БОЛЬШИМИ"
5 апреля в рамках ежегодных Дней комьютерных наук Ирина Александровна Ломазова, заведующая лабораторией ПОИС, прочитала лекцию о том, как все начиналось в компьютерных науках. Как они возникали и о чем были первые задачи? Почему понадобилась теория программирования, ведь, казалось бы, достаточно просто уметь программировать? Как связаны компьютерные науки с математикой, лингвистикой, биологией?
Видеозапись лекции доступна по ссылке - https://www.youtube.com/watch?v=6SCCG1R90zI
.jpg)
Открыт прием постдоков в лаборатории ФКН
Открыт прием заявок на позиции российских постдоков в лаборатории факультета компьютерных наук.
.png)
Защита кандидатской диссертации Шершакова Сергея Андреевича
Научному сотруднику лаборатории Шершакову Сергею присуждена степень кандидата компьютерных наук. Работа "Методы и инструменты повышения эффективности алгоритмов майнинга процессов" была выполнена под научным руководством Ирины Александровны Ломазовой, заведущей лабораторией.
Поздравляем коллег!

"Науки о процессах предлагают взгляд на мир как на взаимодействие динамических процессов, а не статичных объектов"
Алексей Мицюк, доцент департамента программной инженерии и старший научный сотрудник научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС), рассказал о своих исследованиях, проектах и о плюсах научной работы.

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