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

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

Новости

Иллюстрация к новости: «За год обучения на едином треке у студентов изменился горизонт исследовательского видения»

«За год обучения на едином треке у студентов изменился горизонт исследовательского видения»

Высшая школа экономики продолжает развивать новый формат поддержки студентов, выбравших исследовательскую карьеру, – единый трек обучения «магистратура – аспирантура». На первом курсе магистратуры для них будет выделено 75 мест – на две трети больше, чем год назад. Чем привлекателен единый трек, как на него поступить и каких успехов добились студенты, выбравшие его в прошлом учебном году, рассказал проректор ВШЭ Сергей Рощин.

Лекция "КОГДА КОМПЬЮТЕРЫ БЫЛИ БОЛЬШИМИ"

5 апреля в рамках ежегодных Дней комьютерных наук Ирина Александровна Ломазова, заведующая лабораторией ПОИС, прочитала лекцию о том, как все начиналось в компьютерных науках. Как они возникали и о чем были первые задачи? Почему понадобилась теория программирования, ведь, казалось бы, достаточно просто уметь программировать? Как связаны компьютерные науки с математикой, лингвистикой, биологией?
Видеозапись лекции доступна по ссылке - https://www.youtube.com/watch?v=6SCCG1R90zI 

Иллюстрация к новости: Практика студентов ФКН в лаборатории процессно-ориентированных информационных систем

Практика студентов ФКН в лаборатории процессно-ориентированных информационных систем

Иллюстрация к новости: Открыт прием постдоков в лаборатории ФКН

Открыт прием постдоков в лаборатории ФКН

Открыт прием заявок на позиции российских постдоков в лаборатории факультета компьютерных наук.

27.02 Мемориальный семинар, посвященный 90-летию со дня рождения Риммы Ивановны Подловченко

Семинар по математическим основам информатики, посвященный столетию со дня рождения Бориса Абрамовича Трахтенброта

Иллюстрация к новости: Защита кандидатской диссертации Шершакова Сергея Андреевича

Защита кандидатской диссертации Шершакова Сергея Андреевича

Научному сотруднику лаборатории Шершакову Сергею присуждена степень кандидата компьютерных наук. Работа "Методы и инструменты повышения эффективности алгоритмов майнинга процессов" была выполнена под научным руководством Ирины Александровны Ломазовой, заведущей лабораторией. 
Поздравляем коллег!

Иллюстрация к новости: "Науки о процессах предлагают взгляд на мир как на взаимодействие динамических процессов, а не статичных объектов"

"Науки о процессах предлагают взгляд на мир как на взаимодействие динамических процессов, а не статичных объектов"

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

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