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

• Отделение программной инженерии | Кафедра управления разработкой программного обеспечения: преподаватель

Образование

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

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

Участие в конференциях

2011

Ссылки:

• Computer Laboratory, Faculty of Computer Science and Technology, University of Cambridge: http://www.cl.cam.ac.uk/teaching
• Department of Computer Science, University of Oxford Project, http://www.cs.ox.ac.uk/
• Electrical Engineering and Computer Science Department, MIT, http://www.eecs.mit.edu/
• Computer Science, Harvard School of Engineering and Applied Sciences, Harvard, http://www.seas.harvard.edu/teaching-learning/areas/computer-science
• Electrical Engineering and Computer Sciences, College of Engineering, University of California, Berkeley, http://www.cs.berkeley.edu/
• Stanford Computer Science (CS) Department, Stanford University, http://cs.stanford.edu/

Ссылки по курсу BPMS:

http://bpmsoftware.wordpress.com/free-bpa-tools/

Другая активность:

Program committee member: AIST2012

Учебные курсы

• Основы информатики и программирования (Бакалавриат; где читается: Отделение прикладной математики и информатики; 1-й курс, 1-4 модуль)
• Теория автоматов и формальных языков (Бакалавриат; где читается: Отделение программной инженерии; спец-я "Программная инженерия"; 3-й курс, 2, 3 модуль)
• Теория автоматов и формальных языков (Бакалавриат; где читается: Отделение программной инженерии; 2-й курс, 3, 4 модуль)
• Теория автоматов и формальных языков (Бакалавриат; где читается: Отделение программной инженерии; 4-й курс, 1, 2 модуль)

Публикации

2011