• 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

Новости

Сотрудники факультета компьютерных наук получили награды, приуроченные к юбилею университета

Сотрудники факультета компьютерных наук получили награды, приуроченные к юбилею университета
Наши коллеги награждены за заслуги в профессиональной деятельности, многолетний плодотворный труд и в связи с 25-летием со дня образования Национального исследовательского университета «Высшая школа экономики».

Названы победители «Золотой Вышки»

На антиюбилейную «Золотую Вышку» было выдвинуто рекордное количество претендентов — 355 человек в 10 номинациях. Из них в два этапа были выбраны победители в каждой номинации. Кроме того, второй раз был выбран победитель «Золотой ссылки» — «премии в премии», которая присуждается самому высокоцитируемому ученому.  Награждение всех победителей прошло 1 декабря.

Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации

19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Блокчейн, финтех и банки будущего: итоги первой школы по финансовым технологиям в «Сириусе»

Блокчейн, финтех и банки будущего: итоги первой школы по финансовым технологиям в «Сириусе»
С 4 по 7 октября на базе образовательного центра «Сириус» состоялась первая студенческая научно-образовательная школа по финансовым технологиям цифровой экономики России — совместный проект Фонда «Талант и успех» и Банка России, организованный в рамках Форума инновационных финансовых технологий Finopolis. Основная цель проекта — знакомство студентов с трендами и инновациями в сфере финансовых технологий, перспективами развития и реальными запросами индустрии, обучение практическим навыкам развития финтех-проектов.

«Золотая Вышка»-2017: победителей будут выбирать по-новому

«Золотая Вышка»-2017: победителей будут выбирать по-новому
23 октября стартует первый этап ежегодного конкурса «Золотая Вышка». В декабре эта премия будут вручаться уже в 17-й раз. Читайте, что нового предусмотрено в «антиюбилейной» премии и выдвигайте своих кандидатов.

Студенты факультета компьютерных наук заняли 1 место на BPI Challenge 2017

Студенты факультета компьютерных наук заняли 1 место на BPI Challenge 2017
Студенты 4-го курса образовательной программы «Программная инженерия» — Елизавета Поваляева, Артём Фоменко и Исмаил Хамитов заняли первое место в студенческой номинации соревнования по анализу бизнес-процессов BPI Challenge 2017. Своё решение они представили в рамках 13-го международного семинара по анализу бизнес-процессов (13th International Workshop on Business Process Intelligence 2017).

Школа по алгоритмам дискретной оптимизации и конференция по теории графов

Школа по алгоритмам дискретной оптимизации и конференция по теории графов
C 4 по 12 сентября в Гданьске (Польша) состоялась Летняя школа по алгоритмам дискретной оптимизации (Gdańsk Summer School of Advanced Science on Algorithms for Discrete Optimization). Мероприятие было организовано на базе Гданьского Политехнического университета. После завершения школы, с 13 по 15 сентября, в Сопоте (Польша) прошла Пятая Гданьская конференция по теории графов (the Fifth Gdańsk Workshop on Graph Theory).

Юбилей Вадима Валериевича Подбельского

22 сентября юбилей Вадима Подбельского, профессора факультета компьютерных наук.

Вышка будет присуждать собственные ученые степени

Ряд научных организаций и вузов, в том числе НИУ ВШЭ, смогут самостоятельно утверждать ученые степени. Соответствующее распоряжение подписал премьер-министр России Дмитрий Медведев.

Сотрудники факультета выступили с докладом на HISTELCON 2017

Сотрудники факультета выступили с докладом на HISTELCON 2017
7 - 8 августа в Кобе (Япония, префектура Хиого) на базе Университета Хиого состоялась Международная конференция по истории вычислительной техники и телекоммуникаций (HISTELCON), участие в которой приняли, в том числе, и наши сотрудники: Валерий Шилов и Сергей Силантьев.