• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
+7(499) 152-3942
+7(495) 772-9590 доб. 22931
Address: Room 328, Building 3,Kochnovskiy Proezd, Moscow
SPIN-RSCI: 4158-4968
ORCID: 0000-0003-0509-1821
ResearcherID: D-9897-2014
Scopus AuthorID: 55994948600
Google Scholar
S. Kuznetsov
D. Fishbein
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.

Rostislav Yavorskiy

  • Rostislav Yavorskiy has been at HSE since 2013.

Education and Degrees

  • 1998

    Candidate of Sciences* (PhD)

  • 1994

    Lomonosov Moscow State University

* 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.

Professional Interests

Awards and Accomplishments

Best Teacher – 2016, 2015, 2014

Student Term / Thesis Papers

Full list of of student term / thesis papers

Courses (2018/2019)

Courses (2016/2017)

Courses (2015/2016)

Courses (2013/2014)

Courses (2010/2011)

Non-classical Logics (Master’s programme; School of Applied Mathematics and Information Science; 1 year, 3, 4 module)Rus


2nd International Conference on Information Technology and Quantitative Management, ITQM 2014 (Москва). Presentation: Connectivity Analysis of Computer Science Centers based on Scientific Publications Datafor Major Russian Cities.


Employment history

September 2013 – Present, National Research University - Higher School of Economics

Docent at the Department of Data Analysis and Artificial Intelligence


October 2012 – September 2013, Skolkovo Foundation

Partner Relationship Manager

Development of the “Virtual Skolkovo” online community. Involving students and young researchers into the Skolkovo innovative ecosystem.


April 2011 – July 2012, Witology LLC

Vice President, Models and Algorithms

Design of the Wito-Analytics module of the collaborative online environment.


April 2009 – March 2011, Microsoft

External Research Program Manager for Russia, Project Manager for Innovation Infrastructure

Establishing connections between leading academic institutions in Russia and Microsoft Research.


January 1999 – April 2009, Steklov Mathematical Institute, Moscow

Senior Researcher

Researcher at the Department of Mathematical Logic. Areas of interest: formal methods, software modeling and analysis, model based testing, fuzzy logic, modal logic, proof theory etc.


September 1997 – January 1999, Russian State University for the Humanities, Moscow

Assistant Lecturer. Teaching basics of informatics at the Institute of Economics, Management and Law.


Russian, English: fluent

Timetable for today

Full timetable

First International Data Analysis Olympiad Held in Moscow

On April 4, the winners of the First International Data Analysis Olympiad (IDAO) were announced. The event was organized by the HSE Faculty of Computer Science, Yandex, and Harbour.Space University (Barcelona) with the support of Sberbank. Magic City team from St. Petersburg took out first prize, a team from the Ukraine came second, and the Apex team from Belarus came third.

HSE and EMC Corporation Will Study the Market of Bioinformatics in Russia

Higher School of Economics and EMC Cloud and Big Data R&D Center in Moscow (Skolkovo) have signed a cooperation agreement, which includes the creation of a Project and Study Group in Bioinformatics. HSE students and lecturers are a key part of the group.