• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Глава в книге
Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties

Fedotov I., Anton Khritankov, Barger A.

In bk.: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM). NY: Association for Computing Machinery (ACM), 2022. P. 100-105.

Препринт
Using Text Analytics for Health to Get Meaningful Insights from a Corpus of COVID Scientific Papers

Soshnikov D. V., Soshnikova V.

arxiv.org. Computer Science. Cornell University, 2021

Тема «выпускники» – Новости

Выпуск 2022. Часть 3

Выпуск 2022. Часть 3
Завершаем рассказ о выпускниках бакалавриата и магистратуры этого года.

Выпуск 2022. Часть 2

Выпуск 2022. Часть 2
Продолжаем рассказ о выпускниках 2022 года, сегодня публикуем вторую из трех частей. Студенты поделятся своим опытом обучения в бакалавриате и магистратуре, расскажут, как на них повлияло время на ФКН и помечтают о своем будущем.

Выпуск 2022. Часть 1

Выпуск 2022. Часть 1
Начинаем рассказ о выпускниках 2022 года: всего в материале будет три части. Студенты поделятся своим опытом обучения в бакалавриате и магистратуре, расскажут, как на них повлияло время на ФКН и помечтают о своем будущем.

Поздравляем выпускников 2022!

Поздравляем выпускников 2022!
1 июля состоялась церемония вручения дипломов выпускникам бакалаврской программы "Программная инженерия"

«Это был “курс выживания” в программной инженерии»

Считается, что молодой специалист должен выбирать: или академическая карьера, или бизнес-трек. Выпускнику факультета компьютерных наук, лауреату стипендии имени Ильи Сегаловича, преподавателю департамента программной инженерии Михаилу Фомичеву удается и то и другое. О работе в университете и в Яндексе он рассказал порталу Вышки.

Защиты диссертаций: будущие и прошедшие

Защиты диссертаций: будущие и прошедшие
В 2018 году шесть сотрудников факультета компьютерных наук защитили диссертационные работы. Рассказываем о состоявшихся защитах и о предстоящих в 2019 году.

Выпускники рассказывают: Елена Сибирцева

Выпускники рассказывают: Елена Сибирцева
Выпускница факультета Елена Сибирцева рассказала, как обучает робота с помощью виртуальной реальности в лаборатории Королевского технического университета Стокгольма, поразмышляла о деструктивности индивидуализма для науки и объяснила, почему курсовые и общение с преподавателями — это самое ценное в Вышке.

От динамического хаоса к Process Mining

Сергей Шершаков, выпускник магистратуры по специальности «Системная и программная инженерия» 2012 года, старший преподаватель департамента программной инженерии и сотрудник научно-учебной лаборатории процессно-ориентированных информационных систем рассказывает о науке и преподавании: что такое Process Mining, как сохранять актуальность своих знаний, не работая в индустрии, почему выпускникам Вышки не надо «забывать все, чему их учили» и многом другом.

Победители и лауреаты конкурса НИРС 2015 года в номинации «Компьютерные науки»

Объявлены победители и лауреаты конкурса НИУ ВШЭ «На лучшую научно-исследовательскую работу студентов 2015 года». В этом году в конкурсе впервые была представлена номинация «Компьютерные науки». Всего на нее было подано 38 работ: 20 студентами бакалавариата и 18 — студентами магистратуры и выпускниками 2015 года. Церемония награждения состоится 28 декабря в зале Ученого совета (ауд. 311, Мясницкая, 20) в 17.00.

Серьезные проекты рождаются, когда их авторы еще учатся в университетах

Серьезные проекты рождаются, когда их авторы еще учатся в университетах
Выпускник ВШЭ Сергей Пронин еще во время учебы на «Программной инженерии» стал одним из авторов мобильного «App in the Air», которое Apple теперь считает одним из примеров удачного мобильного проекта. Сам Сергей сейчас работает ведущим разработчиком компании «Empatika» и преподает в Вышке. Он рассказал новостной службе ВШЭ о трендах рынка приложений, уникальном русскоязычном курсе по мобильной разработке и принципах правильного преподавания в сфере IT.