• 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

Новости

Летняя школа "Разработка мобильных приложений"

Летняя школа "Разработка мобильных приложений"
С 1 июля по 11 июля на факультете компьютерных наук проходит летняя школа “Разработка мобильных приложений”. В работе школы принимают участие 42 студента из 13 российских вузов и 3 абитуриента бакалавриата. В программе школы - 5 дней лекций и семинаров и пятидневный хакатон.

В структуре департамента программной инженерии создана базовая кафедра «Системное программирование» Института системного программирования РАН

Приказом ректора Национального исследовательского университета «Высшая школа экономики» №6.18.1 – 01/2015-08 от 21.05.2015г. на основании решения Ученого совета НИУ ВШЭ (протокол № 04 от 27.04.2015) с 25.05.2015 в структуре департамента программной инженерии факультета компьютерных наук Национального исследовательского университета «Высшая школа экономики» создана базовая кафедра «Системное программирование» Института системного программирования Российской академии наук.

На факультете компьютерных наук начала работу школа для учителей информатики

На факультете компьютерных наук начала работу школа для учителей информатики
27 учителей из Москвы, Московской области, Ижевска, Красноярска, Минска, Мурманска, Оренбурга и Ростова-на-Дону собрались 29 июня на факультете компьютерных наук для участия в школе “Преподавание информатики в школе. Подготовка школьников к олимпиадам и конкурсам”.

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

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

Анонс международной научно-практической конференции "Tools and Methods of Program Analysis" TMPA-2015

Приглашаем студентов, аспирантов и преподавателей принять участие в Международной научно-практической конференции «Tools & Methods of ProgramAnalysis» («Инструменты и методы анализа программ, TMPA-2015»), посвящённой одному из наиболее актуальных и важных направлений программной инженерии - анализу качества программного обеспечения. 

Четвертая научно-практическая конференция «Актуальные проблемы системной и программной инженерии» (АПСПИ - 2015)

20-21 мая 2015 года на базе МИЭМ НИУ ВШЭ прошла IV Научно-практическая конференция «Актуальные проблемы системной и программной инженерии».
Конференция была организована НИУ ВШЭ, Институтом системного программирования РАН, ЗАО «ЕС-лизинг», Российским отделением SEMAT, Русским отделением INCOSE при поддержке Российского фонда фундаментальных исследований.

Студенты факультета компьютерных наук стали победителями конкурса WWDC Scholarship от Apple

Студенты второго курса образовательной программы «Программная инженерия» Вадим Дробинин и Александр Зимин вошли в число победителей конкурса WWDC Scholarship. В июне они отправятся на всемирную конференцию разработчиков Apple Worldwide Developers Conference.

Общеуниверситетские факультативы в 2015-2016 учебном году

Определён список общеуниверситетских факультативов на 2015/2016 учебный год.

1 декабря состялась церемония награждения "Золотая Вышка"

В номинации "За вклад в развитие Школы" Департамент программной инженерии представлял Сергей Михайлович Авдошин - руководитель департамента.

Выступление преподавателей департамента ПИ на SECR-2014