• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Russian
Ukrainian
Contacts
Phone:
+7(495) 531-0000
27240
+7(977) 285-7834
Address: 11 Pokrovsky Bulvar, Pokrovka Complex, room S832
Timetable
SPIN-RSCI: 1110-3260
ORCID: 0000-0001-9822-1060
ResearcherID: L-3553-2016
Scopus AuthorID: 23092601000
Google Scholar
Supervisors
N. Vereshchagin
E. Sokolov
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Michael Vyalyi

  • Michael Vyalyi has been at HSE University since 2014.

Education, Degrees and Academic Titles

  • 2009
    Associate Professor
  • 1995

    Candidate of Sciences* (PhD)

  • 1984

    Degree in Automatic Control Systems
    Moscow Institute of Physics and Technology

* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.

Responsibilities

Duties within the framework of work at the International Laboratory for Theoretical Informatics: research work in the field of theoretical informatics and discrete mathematics. Specific research areas in recent years and in the near future:  graph theory, formal language theory, algorithmic and combinatorial game theory, computational complexity theory.

Courses (2023/2024)

Courses (2022/2023)

Courses (2021/2022)

Courses (2020/2021)

Courses (2019/2020)

Courses (2018/2019)

Courses (2017/2018)

Discrete Mathematics 2 (Bachelor’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus

Conferences

2015

IX Международная конференция "Дискретные модели в теории управляющих систем" (Москва и пос. Красновидово). Presentation: О подсчете числа совершенных паросочетаний в графе

Publications

20241

Book Вялый М. Н., Подольский В. В., Рубцов А. А., Шварц Д. А., Шень А. Лекции по дискретной математике. 2-е изд. М. : Издательский дом НИУ ВШЭ, 2024. doi

20234

20221

Article Gurvich V., Krnc M., Milanič M., Vyalyi M. Shifting paths to avoidable ones // Journal of Graph Theory. 2022. Vol. 100. No. 1. P. 69-83. doi

20216

20202

  • Chapter Gurvich V., Vyalyi M. Computational hardness of multidimensional subtraction games, in: Computer Science – Theory and Applications 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings Vol. 12159. Springer, 2020. doi P. 237-249. doi
  • Chapter Chistikov D., Mikhail Vyalyi. Re-pairing brackets, in: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Saarbrücken, Germany. July, 2020. Association for Computing Machinery (ACM), 2020. P. 312-326. doi

20192

20182

  • Chapter Rubtsov A. A., Vyalyi M. On Emptiness and Membership Problems for Set Automata, in: Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings / Ed. by F. V. Fomin, V. V. Podolskii. Vol. 10846. Springer, 2018. doi P. 295-307. doi
  • Chapter Вялый М. Н. Сложность вычисления знака перестановки в модели разрешающих деревьев и подсчет совершенных паросочетаний в двудольных графах // В кн.: Труды X международной конференции "Дискретные модели в теории управляющих систем". Москва и Подмосковье, 23-25 мая 2018 г. / Отв. ред.: В. Алексеев, Д. Романов, Б. Данилов. М. : МАКС Пресс, 2018. С. 94-97.

20175

20161

Article Вялый М. Н., Вороненко А. А. Нижняя оценка мощности области определения универсальных функций для класса линейных булевых функций // Дискретная математика. 2016. Т. 28. № 4. С. 50-57. doi

20153

20142

  • Article Vyalyi M., Gimadeev R. Separating words by occurrences of subwords / Пер. с рус. // Journal of Applied and Industrial Mathematics (перевод журналов "Сибирский журнал индустриальной математики" и "Дискретный анализ и исследование операций"). 2014. Vol. 8. No. 2. P. 293-299.
  • Article Вялый М. Н., Гимадеев Р. О различении слов вхождениями подслов // Дискретный анализ и исследование операций. 2014. Т. 21. № 1. С. 3-14.

20133

20123

20113

20104

20092

20082

20063

20053

20044

20032

20023

19991

Book Китаев А., Шень А., Вялый М. Н. Классические и квантовые вычисления. М. : МЦНМО, 1999.

19981

Chapter Vyalyi M., Tarasov S. Construction of countour trees in 3D in O(n logn) steps, in: Proceedings 14th Annual ACM Symposium on Computational Geometry. Minneapolis : ACM Press, 1998. P. 68-75.

19971

Chapter Vyalyi M., Tarasov S. Some PL functions on surfaces are not height functions, in: Proceedings 13th Annual ACM Symposium on Computational Geometry. Nice : ACM Press, 1997. P. 113-118.

19961

Article Вялый М. Н., Гордеев Э., Тарасов С. Об устойчивости диаграммы Вороного // Журнал вычислительной математики и математической физики. 1996. Т. 36. № 3. С. 147-158.

19911

Article Вялый М. Н. Об одномерных проекциях многогранников задач дискретной оптимизации // Дискретная математика. 1991. Т. 3. № 3. С. 35-45.

19891

Chapter Вялый М. Н., Леонов В. О принципах построения и реализации систем 3-мерного геометрического моделирования // В кн.: Моделирование и экспертные системы. М. : МГТУ МИРЭА, 1989. С. 39-47.

Employment history

My research interests are theoretical computer science, combinatorics, combinatorial optimization, computational geometry, quantum computations, algorithmic complexity of pro problems in formal language theory.

My teaching experience is over 25 years. I've taught in several insititutions: Independent University of Moscow, Moscow Institute of Open Education, National Research University Higher School of Economics, Moscow Institute of Physics and Technology.

Timetable for today

Full timetable