• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
+7(499) 152-3942
+7(495) 772-9590 доб. 22931
Электронная почта:
Адрес: Кочновский пр., д. 3, каб. 328
Время присутствия: Пятница 10:00 - 13:00
SPIN РИНЦ: 4158-4968
ORCID: 0000-0003-0509-1821
ResearcherID: D-9897-2014
Scopus AuthorID: 55994948600
Google Scholar
Руководители
Кузнецов С. О.
Фишбейн Д. Е.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Яворский Ростислав Эдуардович

  • Начал работать в НИУ ВШЭ в 2013 году.
  • Научно-педагогический стаж: 19 лет.

Образование, учёные степени

  • 1998
    Кандидат физико-математических наук
  • 1994

    Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Прикладная математика»

Профессиональные интересы

Достижения и поощрения

  • Благодарность Факультета компьютерных наук НИУ ВШЭ (август 2017)
  • Лучший преподаватель – 2016, 2015, 2014

Выпускные квалификационные работы студентов

Полный список ВКР

Учебные курсы (2018/2019 уч. год)

Учебные курсы (2016/2017 уч. год)

Учебные курсы (2015/2016 уч. год)

Учебные курсы (2014/2015 уч. год)

Учебные курсы (2013/2014 уч. год)

Учебные курсы (2010/2011 уч. год)

Неклассические логики (Магистратура; где читается: Отделение прикладной математики и информатики; 1-й курс, 3, 4 модуль)Рус

Публикации13

Публикации

Земцов, Н.А., Яворский, Р.Э. Мониторинг вычислительных процессов. Вестник ТвГУ. Серия: Прикладная математика, 1[3], 2006. Стр. 36-41.

Anton Esin, Rostislav Yavorskiy, Nikolay Zemtsov. Monitoring of Linear Distributed Computations. Brief Announcement. DISC 2006, pp. 566-568

Rostislav Yavorskiy. On Kripke-style Semantics for the Provability Logic of Godel's Proof Predicate with Quantifiers on Proofs. Journal of Logic and Computation 2005, Vol. 15, No. 4, pp. 539-549.

Vladimir Filatov and Rostislav Yavorskiy. Scenario based analysis of linear computations. Proceedings of 12th International Workshop on Abstract State Machines ASM'05, March 8-11, 2005, Laboratory of Algorithmics, Complexity and Logic, University Paris 12 - Val de Marne, Creteil, France, pp. 167-174.

Andrey Novikov and Rostislav Yavorskiy. Applying formal semantics of an object-oriented language to program invariant checking. Proceedings of 12th International Workshop on Abstract State Machines ASM'05, March 8-11, 2005, Laboratory of Algorithmics, Complexity and Logic, University Paris 12 - Val de Marne, Creteil, France, pp. 305-312.

R.E. Yavorsky. First order logics of individual theories. In Logic Colloquium '99 Lecture Notes in Logic 17, pp. 200-208. Edited by J. van Eijck, V. van Oostrom, and A. Visser. A K Peters, 2004.

Yu. Gurevich and R. Yavorsky. Observations on the Decidability of Transitions. Abstract State Machines 2004, W. Zimmerman and B. Thalheim, editors. Springer Lecture Notes in Computer Science vol. 3052 (2004), pp. 161-168.

Р.Э.Яворский. Опренексном фрагменте логики доказуемости с кванторами по доказательствам. Труды МИАН им. В.А.Стеклова, том 242, 2003, с. 123-135.

M. Veanes and R. Yavorsky. Combined Algorithm for Approximating a Finite State Abstraction of a Large System. In SCESM 2003, 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, May 2003, pp. 86-91.

R. Yavorskiy. Translation of a fragment of AsmL Specification Language to Higher Order Logic. Microsoft Research technical report MSR-TR-2003-22, April 2003, 17 p.

R.E. Yavorsky. Provability logics with quantifiers on proofs. Annals of Pure an Applied Logic, vol. 113 (2002), nos. 1-3, pp. 373-387.

R.E. Yavorsky. On arithmetical completeness of first-order logics of provability. Advances in Modal Logic, vol. 3, F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, eds. 2002, pp. 1-16.

R.E. Yavorsky. On the logic of the standard proof predicate. Springer Lecture Notes in Computer Science, vol. 1862, pp. 527-542. Proceedings of 14th International Conference of Computer Science Logic 2000.

R.E. Yavorsky. First order logics of expressively strong theories. Matematicheskie Zametki. 1999, Vol. 66, N 5, pp. 777-788. PostScript in Russian,

Р.Э.Яворский. Разрешимые логики первого порядка. Фундаментальная и прикладная математика, том 4, №2, 1998, с. 733-749.

Р.Э.Яворский. Предикатные логики разрешимых фрагментов арифметики. Вестник МГУ. Сер. 1. Математка. Механика. 1998, № 2, с. 12-16.

R.E. Yavorsky. Logical Schemes for First Order Theories. Logical Foundations of Computer Science, Yaroslavl, Russia, 1997. Springer Lecture Notes in Computer Science, vol. 1234 (1997), pp. 410-418.

Опыт работы

Доцент, Отделение прикладной математики и информатики ВШЭ
09.2013 – по н. в.

Менеджер по связям с интернет-партнёрами, Фонд Сколково
10.2012 – 09.2013
Развитие онлайн сообщества "Виртуальное Сколково" на сайте http://sk.ru
Организация проекта по вовлечению в экосистему Сколково студентов, аспирантов и молодых учёных.

Вице-президент, ООО Витология
03.2011 – 08.2012
Разработка алгоритмов и инструментов анализа и визуализации социо-семантических сетей.

Менеджер по развитию инновационных и инфраструктурных проектов,  Microsoft Rus
11.2010 – 06.2011
Формирование и развитие партнёрской сети в области исследований и разработки. Расширение портфеля пилотных проектов в области исследований и разработки. Управление проектами на стадии proof of concepts. Организация научных конференций, семинаров, летних школ.

Руководитель исследовательских программ Microsoft Research в России
04.2009 – 11.2010
Организация совместных исследовательских проектов Microsoft с ведущими университетами и академическими институтами России.
Организация научных конференций, семинаров, летних школ.

Старший научный сотрудник
01.1999 – 04.2009 Математический институт им.В.А.Стеклова РАН
Научно-исследовательская работа по математической логике, теории алгоритмов и приложениям. Организация семинаров, школ, международных конференций. Выступления на международных конференциях.

Преподаватель
09.2003 – 06.2010 мех-мат МГУ (частичная занятость по совместительству)
Спецкурс "Моделирование и логический анализ вычислительных процессов", научное руководство курсовыми и дипломными работами по следующим направлениям: Формальные модели, гибридные вычислительные системы. Моделирование и анализ вычислительных процессов. Тестирование на основе моделей. Неклассические логики.

Учитель информатики в классах с углублённым изучением математики, информатики и физики
02.1994 – 06.2006 Школа №1134 г. Москвы
Обучение основам программирования. Организация проектной деятельности. Подготовка команд и проектов для участия в конкурсах.

Профессиональный опыт

  • Доцент, Отделение прикладной математики и информатики ВШЭ
    09.2013 – по н. в.
  • Менеджер по связям с интернет-партнёрами, Фонд Сколково
    10.2012 – 09.2013
    Развитие онлайн сообщества "Виртуальное Сколково" на сайте http://sk.ru
    Организация проекта по вовлечению в экосистему Сколково студентов, аспирантов и молодых учёных.
  • Вице-президент, ООО Витология
    03.2011 – 08.2012
    Разработка алгоритмов и инструментов анализа и визуализации социо-семантических сетей.
  • Менеджер по развитию инновационных и инфраструктурных проектов,  Microsoft Rus
    11.2010 – 06.2011
    Формирование и развитие партнёрской сети в области исследований и разработки. Расширение портфеля пилотных проектов в области исследований и разработки. Управление проектами на стадии proof of concepts. Организация научных конференций, семинаров, летних школ.
  •  Руководитель исследовательских программ Microsoft Research в России
    04.2009 – 11.2010
    Организация совместных исследовательских проектов Microsoft с ведущими университетами и академическими институтами России.
    Организация научных конференций, семинаров, летних школ.
  •  Старший научный сотрудник
    01.1999 – 04.2009 Математический институт им.В.А.Стеклова РАН
    Научно-исследовательская работа по математической логике, теории алгоритмов и приложениям. Организация семинаров, школ, международных конференций. Выступления на международных конференциях.
  •  Преподаватель
    09.2003 – 06.2010 мех-мат МГУ (частичная занятость по совместительству)
    Спецкурс "Моделирование и логический анализ вычислительных процессов", научное руководство курсовыми и дипломными работами по следующим направлениям: Формальные модели, гибридные вычислительные системы. Моделирование и анализ вычислительных процессов. Тестирование на основе моделей. Неклассические логики.
  • Учитель информатики в классах с углублённым изучением математики, информатики и физики
    02.1994 – 06.2006 Школа №1134 г. Москвы
    Обучение основам программирования. Организация проектной деятельности. Подготовка команд и проектов для участия в конкурсах.

Языки

Русский, Английский: свободно владею

В Москве завершилась первая международная олимпиада по анализу данных

4 апреля стали известны имена победителей Первой международной олимпиады по анализу данных IDAO, которую организовали факультет компьютерных наук Высшей школы экономики, компания Яндекс и Harbour.Space University (Барселона) при поддержке Сбербанка. Лучшей стала команда «Magic City» из Санкт-Петербурга, второе место занял участник из Украины, бронзу завоевала команда «Apex» из Республики Беларусь.

На факультете компьютерных наук прошел День информатики

3 декабря в здании факультета компьютерных наук на Кочновском собралось почти 600 гостей. Абитуриенты, школьники, студенты других вузов и их родители пришли отпраздновать приближающийся День информатики и узнать больше о ФКН на Дне открытых дверей.

VI Международная конференция по анализу изображений, социальных сетей и текстов (АИСТ)

Международная конференция по анализу изображений, социальных сетей и текстов АИСТ состоялась 27-29 июля в Москве при поддержке Высшей школы экономики. В этом году на конференцию было подано 130 научных работ из разных, в том числе зарубежных, университетов. Лучшие работы были отобраны признанными специалистами в области анализа данных со всего мира, они войдут в сборник трудов конференции и будут опубликованы в серии Lecture Notes in Computer Science издательства Springer.

Как сделать классный пароль, или чему учат на направлении «Математика, информатика и инженерия» в Лицее ВШЭ

Несколько разновидностей информатики, совместные проекты со студентами и выпускниками Вышки, факультетские дни в четырех подразделениях университета — это и многое другое ждет тех, кто поступит в 10-й класс на направление подготовки «Математика, информатика и инженерия» Лицея ВШЭ. Документы принимаются до 15 марта, набрать планируется 125 человек.

Время выбирать: у десятиклассников двух направлений завершился этап "карусели" факультетского дня

20 октября студенты Факультета социальных наук Вышки приехали к лицеистам на Лялин переулок, чтобы провести с ними фокус-группы и выяснить их мнение о том, насколько эффективным был этап «карусели» факультетского дня. В опросе участвовали ребята с направлений «Экономика и социальные науки», а также «Математика, информатика и инженерия».

Конференция BIG DATA BUSINESS SUMMIT в Казани

18-19 ноября в Казани в рамках конференции BIG DATA BUSINESS SUMMIT прошли двухдневные командные соревнования по разработке программных продуктов Big Data 4 Business Hackathon. Проект команды студентов 2 и 3 курсов факультета компьютерных наук Никиты Беньковича, Артема Гадецкого, Михаила Петрова и Александра Щавровского по итогам хакатона получил 3-е место.

Научно-исследовательская работа
со студентами НИУ ВШЭ

Опубликованы темы КР и ВКР департамента на 2015/16 учебный год.

Факультет принял участие в работе квотных комиссий

Управление по сотрудничеству со странами СНГ и Балтии НИУ ВШЭ в июне подведет  итоги работы квотных комиссий по отбору иностранных абитуриентов. Собеседования, как очные, так и онлайн, проводились в Москве, а также в разных городах девяти иностранных государств. Сотрудники ФКН в составе выездных комиссий посетили Беларусь, Казахстан и Латвию.

Международная научно-практическая конференция «АИСТ 2015»

В Екатеринбурге завершилась очередная конференция «АИСТ», посвященная анализу изображений, социальных сетей и текстов. 

ВШЭ и корпорация EMC изучат рынок биоинформатики в России

Высшая школа экономики и Московский центр исследований и разработок ЕМС по облачным вычислениям и большим данным (Сколково) подписали соглашение о сотрудничестве, которое предусматривает создание проектно-учебной группы по биоинформатике. В состав группы вошли студенты и преподаватели ВШЭ.

ВШЭ и корпорация EMC изучат рынок биоинформатики в России

Высшая школа экономики и Московский центр исследований и разработок ЕМС по облачным вычислениям и большим данным (Сколково) подписали соглашение о сотрудничестве, которое предусматривает создание проектно-учебной группы по биоинформатике. В состав группы вошли студенты и преподаватели ВШЭ.

Научные конференции 2014 года: CSR, CPM, AIMSA, AIST

В 2014 году сотрудники департамента Анализа данных и искусственного интеллекта участвовали в организации нескольких крупных международных конференций