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

Международная лаборатория теоретической информатики

Публикации
Книга
Лекции по математической логике и теории алгоритмов

Vereshchagin N., Шень А.

Prt. 3: Вычислимые функции. Beijing: International Press, 2013.

Статья
A convex programming-based algorithm for mean payoff stochastic games with perfect information В печати

Boros E., Elbassioni K., Gurvich V. et al.

Optimization Letters. 2017.

Глава в книге
The complexity of ontology-based data access with OWL2QL and bounded treewidth queries

Podolskii V. V., Zakharyaschev M., Bienvenu M. et al.

In bk.: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Prt. F127745. ACM, 2017. P. 201-216.

Препринт
Stochasticity in Algorithmic Statistics for Polynomial Time

Vereshchagin N., Milovanov A.

Electronic Colloquium on Computational Complexity. Technical report . Weizmann Institute of Science, 2017. No. TR17-043.

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

Лаборатория проводит исследования в области теоретической информатики, в том числе в таких направлениях как сложность вычислений, алгоритмическая теория информации, алгоритмическая статистика, комбинаторная оптимизация и алгоритмическая теория игр.

На факультете прошла конференция по теоретической информатике

14 июня лаборатория провела очередную конференцию по теоретической информатике «Complexity of Computation, Communication, Descriptions and Proofs». 

Сотрудник лаборатории стал призером международной студенческой математической олимпиады им. Войтеха Ярника

Глеб Пособин, стажер-исследователь лаборатории принял участие в Международной математической олимпиаде им. Войтеха Ярника.

Завершилась конференция по теоретической информатике

10 и 11 декабря на факультете прошла конференция "Problems in Theoretical Computer Science 2016", организованная Международной лабораторией теоретической информатики.

Факультативы осеннего семестра

Гибкая траектория обучения – одна из отличительных особенностей Высшей школы экономики. Получить дополнительные профили к специальности позволяют майноры и общеуниверситетские факультативы. Кроме того, у студентов всегда есть возможность углубить знания и расширить компетенции именно в своей области, выбрав факультатив от образовательной программы своего факультета. Теория вычислений, линейная алгебра, разработка мобильных приложений, основы фронтенд-разработки, менеджмент в Data Science – об этих и других курсах, которые предложил факультет в осеннем семестре, мы расскажем в статье. На некоторые факультативы еще можно записаться.

Серебряная медаль в международном студенческом математическом соревновании

С 25-31 июля в Болгарии прошло международное студенческое соревнование по математике International Mathematical Competition for University Students (IMС 2016), в котором приняло участие 72 команды.

В Москве прошла конференция "Математическая логика, алгебра и вычислимость"

С 18 по 19 июля в Москве прошла конференция “Математическая логика, алгебра и вычислимость", организованная Математическим институтом им. В.А. Стеклова. Конференция была посвящена 85-летию академика РАН С.И. Адяна.

Сотрудники факультета на конференции Computer Science Symposium in Russia 2016

13 июня завершилась международная конференция Computer Science Symposium in Russia 2016, которая проходила 9-13 июня в Санкт-Петербурге во время “Специального семестра по теории сложности”. Семестр начался в апреле и продлится до конца июня. Помимо CSR-2016, в рамках Семестра прошли Symposium on Experimental Algorithms 2016, несколько семинаров, тьюториалов и три воркшопа. Семестр организован сотрудниками Исследовательской лаборатории им. П.Л. Чебышева, также в числе организаторов и участников – такие известные специалисты по Computer Science как Johan Håstad, Jan Krajíček, Pavel Pudlák, Madhu Sudan, Ryan Williams и другие. Сотрудники Международной лаборатории теоретической информатики факультета компьютерных наук принимают активное участие в работе Семестра.

На факультете прошла конференция по теоретической информатике

С 6 по 8 апреля на факультете компьютерных наук прошла конференция по теоретической информатике. Конференция проводилась в рамках Дней Компьютерных Наук и празднования дня рождения факультета.

Конференция по теоретической информатике

С 6 по 8 апреля на факультете пройдет конференция по теоретической 
информатике. Посещение конференции свободное.

В Вышке пройдут семь дней и одна ночь, посвященные компьютерным наукам

Факультет компьютерных наук в честь своего дня рождения — в апреле ему исполняется уже два года — проводит серию открытых мероприятий. Ночь анализа данных, День для школьников, мастер-классы по программированию от ИТ-компаний, публичные лекции — программа составлена так, чтобы человек любого возраста, увлеченный компьютерными науками, нашел для себя что-нибудь интересное. Мероприятия пройдут с 4 по 10 апреля.