• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
русский
французский
Контакты
Телефон:
+7 (495) 772-9590 *22030
Электронная почта:
Адрес: Кочновский пр., д. 3, каб. 435
Время присутствия: Пн 15:00 - 20:00 Вт 15:00 - 20:00 Ср 16:00 - 20:00
Расписание
Резюме (TXT, 12 Кб)
SPIN РИНЦ: 9985-6855
ORCID: 0000-0002-0074-7660
ResearcherID: G-8002-2015
Scopus AuthorID: 55516172000
Google Scholar
Блоги и соц. сети
Facebook
LinkedIn
Руководители
Авдошин С. М.
Ломазова И. А.
Аржанцев И. В.
Версия для печати

 

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

Дворянский Леонид Владимирович

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

Образование

2005

Магистратура: Санкт-Петербургский политехнический университет Петра Великого, факультет: Технической кибернетки, специальность «Информатика и вычислительная техника»

Научные интересы

  • формальные модели параллельных и распределенных систем (сети Петри, процессные алгебры);
  • методы анализа поведенческих свойств формальных моделей;
  • математическая логика и теория множеств

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

Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые преподаватели" (2012-2013)

Поощрения

  • Поощрение за активную работу в LMS (2013-2014);
  • Руководитель студенческой работы получившей 3 место на конкурсе НИРС;
  • Лучшая статья SYRCoSE'2013 (в соавторстве).

Дополнительное образование

  • Automata theory (Coursera, Stanford, Jeffrey D. Ullman) - 94.2%
  • Комбинаторика для начинающих (Coursera, MIPT, Raygorodsky A.M.) - 100.0%
  • Grammar and Punctuation (Coursera, University of California, Chapman T.) - 100.0%

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

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

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

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

  • Летние курсы:

    • Введение в Latex (1г. бакалавры, 5 дней). Короткий интенсивный курс по основам Latex, трюки PGF/Tikz, коробочная модель, и пр.;
    • Скомпилируй компилятор на компиляторе компиляторов (1г. бакалавры, 5 дней). Короткий интенсивный курс по основам компиляторов на ANTLR: лексический/синтаксический/семантический анализ, генерация кода, решение проблем синтаксического анализа.

     

  • Алгоритмы и структуры данных (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 2-й курс, 1-4 модуль)Рус
  • Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 1-й курс, 1-4 модуль)Рус
  • Подготовка и защита выпускной квалификационной работы (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 4-й курс, 4 модуль)Рус

  • Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; программа "Системная и программная инженерия"; 1-й курс, 1-4 модуль)Анг
  • Архив учебных курсов

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

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

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

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

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

Гранты

  • РФФИ, грант  16-37-00482-мол_а "Развитие методов композиционального поведенческого анализа распределенных систем с мобильными агентами." (2016-17 гг.), руководитель.
  • РФФИ, грант  16-01-00546-а "Применение расширений сетей Петри для моделирования, синтеза и анализа адаптивных распределенных информационных систем" (2016-18 гг.), исполнитель
  • РФФИ, грант 11-01-00737-а "Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой" (2011-13 гг.), исполнитель.
  • Научный фонд НИУ ВШЭ, грант 10-09-0031 Софинансирование гранта РФФИ "Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой" (2011-13 гг.), исполнитель.
  • Фонд образовательных инноваций НИУ ВШЭ, грант на чтение курсов "Формальные методы программной инженерии" (2016-17, ... , 2011-12 уч.годы) и "Системы управления бизнес-процессами" (2014-15, ... , 2011-12 уч. г.) на английском языке

Конференции

  • 2016

    37th international conference on applications and theory of Petri Nets and concurrency (Торунь). Доклад: Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets

  • The 14th International Conference on Formal Modelling and Analysis of Timed Systems (Квебек). Доклад: Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency

  • Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (Москва). Доклад: Automatic Code Generation from Nested Petri nets to Event-based Systems on the Telegram Platform

  • 2014
    Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2014 (Санкт-Петербург). Доклад: Modular construction of Time Petri nets reachability graph
  • 2013
    Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2013 (Казань). Доклад: NPNtool: Modelling and Analysis Toolset for Nested Petri Nets
  • 2012
    Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2012 (Пермь). Доклад: On Temporal Properties of Nested Petri Nets
  • 7th International Computer Science Symposium in Russia (CSR-2012). The Third Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). (Нижний Новгород). Доклад: Towards a Translation from Nested Petri Nets into Colored Petri Nets

  • 2011
    6th International Computer Science Symposium in Russia. Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (Санкт-Петербург). Доклад: Compositionality of Some Behavioral Properties for Free-Choice Nested Petri Nets
  • Concurrency, Specification and Programming (CS&P 2011) (Пултуск). Доклад: On Compositionality of Boundedness and Liveness for Nested Petri Nets

Публикации15

Другая деятельность

  • The coordinator of the faculty high-potential group of young academic professionals
  • SIGACT member (ACM Special Interest Group on Algorithms and Computation Theory)

Program committee member:

  • AIST'2012, AIST'2013
  • FCS student conference '2016

Ссылки для моих студентов:

Если Вас интересует теоретическая составляющая программирования. Если Вам нравится изучать новые формализмы (автоматы с магазинной памятью, сети Петри, процессные алгебры, темпоральные логики), придумывать новые алгоритмы, доказывать теоремы о свойствах этих формализмов или очень хочется научиться - напишите мне: leo@mathtech.ru

The Edinburgh Concurrency Workbench
(homepages.inf.ed.ac.uk/perdita/cwb/)
Spin - Formal Verification
(spinroot.com)

Избранные ссылки

Семантика, спецификация и верификация программ: pssv-conf.ru
Departments of Computer Science:
Educational links:
Interesting links:

Немного о себе

Меня всегда интересовали вещи делающие наш мир лучше.
Мы живем в интересное время - сумма накопленных знаний и развитие технологий позволяет верить в то, что многие (не все, конечно) проблемы человечества будут решены в ближайшем будущем.
Успехи в борьбе с раком (по крайней мере с некоторыми его видами), сложнейшие операции недоступные ранее, проекты колонизации Марса, эффективно функционирующие электромобили, решены некоторые долго остававшиеся открытыми проблемы в математике и физике, фантастическая (в сравнении с прошлым) вычислительная мощь современных вычислительных устройств - вот часть того, что волнует мое воображение.

Расписание занятий на сегодня

Полное расписание

Два проекта преподавателей факультета получили поддержку Научного фонда

В конце 2016 года были подведены итоги осенних конкурсов Научного фонда НИУ ВШЭ. В число победителей конкурса индивидуальных исследовательских проектов вошли проект профессора Департамента больших данных и информационного поиска Александра Шаповала “Динамика солнечных пятен на временных масштабах, протяжённостью от нескольких дней до нескольких лет” и проект старшего преподавателя Департамента программной инженерии Леонида Дворянского “Поведенческий анализ вложенных сетей Петри с помощью ловушек и сифонов (ко-ловушек)”.

Лабораторная факультета компьютерных наук

24 мая состоится первое заседание Лабораторной факультета компьютерных наук. Цель нового мероприятия — знакомить студентов и сотрудников факультета с исследованиями, которые ведутся в его научно-исследовательских лабораториях, и наиболее интересными результатами, полученными в рамках этих исследований за последнее время.

Итоги конкурса проектов РФФИ

Подведены итоги конкурса проектов Российского фонда фундаментальный исследований (РФФИ). Среди победителей — как профессора, так и молодые преподаватели факультета компьютерных наук Высшей школы экономики.

Faculty of Computer Science to Offer Courses during HSE Summer University

Computer Science programme of the Summer University provides unique opportunities for students from around the world. The programme covers various topics in Computer Science from purely theoretical to applied and practical. Theoretical side of the programme includes both a detailed introduction to the theory of computations and more advanced topics in Artificial Intelligence and Statistical Diagnosis. Practical aspects of the programme are tightly integrated with theoretical material. Participants of the programme will have an opportunity to apply the new knowledge in their own programming experience, for example, in processing of natural languages, creating a distributed computing system or implementing a compiler for a programming language.