• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Russian
French
Contacts
Phone:
+7 (495) 772-9590 *22030
E-mail:
Address: Room 435, 3, Kochnovskiy proezd, Moscow, 125319
Timetable
Download CV
SPIN-RSCI: 9985-6855
ORCID: 0000-0002-0074-7660
ResearcherID: G-8002-2015
Scopus AuthorID: 55516172000
Google Scholar
Blogs
Facebook
LinkedIn
Office hours
Mon 15:00 - 20:00 Tue 15:00 - 20:00 We 16:00 - 20:00
Supervisors
S. M. Avdoshin
I. A. Lomazova
I. Arzhantsev
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Leonid W. Dworzanski

  • Leonid W. Dworzanski has been at HSE since 2011.

Education

2005

Master in Computer Science and Engineering
Peter the Great St. Petersburg Polytechnic University, Faculty of Computer Science

Awards and Accomplishments

Best Teacher – 2016, 2014

Young Faculty Support Program (Group of Young Academic Professionals)
Category "New Lecturers" (2012-2013)

Achievements

  • Bonus for effective usage of the online Learning Management System (eFront) in National Research University Higher School of Economics (2013-2014);
  • Best paper of SYRCoSE'2013 (with coauthor).

Extra education:

  • Automata theory (Coursera, Stanford, Jeffrey D. Ullman) - 94.2%

Extra education

  • 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%

Student Term / Thesis Papers

Full list of of student term / thesis papers

Courses (2016/2017)

    • Discrete Mathematics, 2014-2017 (1y. bachelor, 1 semestre long);
    • Automata Theory, 2011-2013 (2-4y. bachelors/undergraduate; 1 semestre long);
    • Algorithms and Data Structures, 2015-2017 (2y. bachelors, 2 semestres long). +stack-queue, skip lists, BDD;
    • Foundation of Computer Science, 2011-2014 (1y. bachelors/undergraduate; 2 semestres long);
    • Formal Methods in Software Engineering, 2011-2017 (1y. masters; 2 semestres long). Communicating automata, Petri nets, process algebras, Floyd-Hoare method, temporal logics and model checking;
    • Business Process Managment Systems, 2012-2015 (1y. masters, 1 semestre long). Business process (BP) modelling problems, patterns, and notations; BP specific analysis via Petri nets, etc;

    Summer short courses:

    • Rush into Latex (1y. bachelors, 5 days). Short intensive course on Latex basics, PGF/Tikz tricks, box model, etc;
    • Create Compiler with Compiler Compiler (1y. bachelors, 5 days). Short intensive course on compiler basics with ANTLR: lexical/syntactical/semantical analysis, code generation, parsing problems.

     

  • Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; programme "System and Software Engineering"; 1 year, 1-4 module)
  • Past Courses

Courses (2015/2016)

Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; programme "System and Software Engineering"; 1 year, 1-4 module)

Courses (2014/2015)

Courses (2013/2014)

Courses (2012/2013)

Grants

  • RFBR, grant, 16-37-00482-mol_а "Development of Compositional Behavioural Analysis Method for Distributed Systems with Mobile Agents", 2016-17, principal researcher;
  • RFBR, grant, 16-01-00546-а "Application of extended Petri nets for modeling, synthesis and analysis of adaptive distributed information systems", 2016-18, researcher;
  • RFBR, grant, 11-01-00737-а "Development of multilevel resource-oriented formalism for modelling and analysis of multiagent systems with dynamic structure.", 2011-13, researcher.

Conferences

  • 2016

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

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

  • Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (Москва). Presentation: 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 (Санкт-Петербург). Presentation: Modular construction of Time Petri nets reachability graph
  • 2013
    Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2013 (Казань). Presentation: NPNtool: Modelling and Analysis Toolset for Nested Petri Nets
  • 2012
    Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2012 (Пермь). Presentation: 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). (Нижний Новгород). Presentation: 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 (Санкт-Петербург). Presentation: Compositionality of Some Behavioral Properties for Free-Choice Nested Petri Nets
  • Concurrency, Specification and Programming (CS&P 2011) (Пултуск). Presentation: On Compositionality of Boundedness and Liveness for Nested Petri Nets

Publications15

Employment history

<Curriculum Vitae>

Leonid Dworzanski
 email:    leo@mathtech.ru
 homepage: mathtech.ru

2011-* Seniour Tutor at Departmnet of Software Engineering
2012-* Researcher at Laboratory of Process-Aware Information Systems (PAIS Lab) 
Faculty of Computer Science
National Research University Higher School of Economics

2013-* PhD student at Department of Computer Science 
Math.-Nat. Fakultät II
Humboldt-Universität zu Berlin

EDUCATION:

 Feb 13 - nowadays
          PhD student,
          "Analysis and verication of nested Petri nets."
          Humboldt-Universitat zu Berlin
          Math.-Nat. Fakultat II
                  Department of Computer Science

 Sep 03 - Jun 05  Master of Science degree in Computer Science,
                  Saint-Petersburg State Polytechnical University
                  (M.S. GPA: 5.0 (5 is maximum))

 Sep 99 - Jun 03  Bachelor of Science degree in Computer Science,
                  Saint-Petersburg State Polytechnical University
                  (B.S. GPA: 4.31 (5 is maximum))

 Sep 94 - Jun 99  Operator-programmer of computer,
                  The Centre of New Informational Technologies "North Star",
                  Surgut High Experimental School #1.

PUBLICATIONS:

Dworzanski L.W., Lomazova I.A., Structural Place Invariants for Analyzing the
Behavioral Properties of Nested Petri Nets, (submited to Petri Nets 2016 and
ACSD 2016)

Dworzanski L.W., Lomazova I.A., Translation of Nested Petri Nets into systems
of distributed components (EJB), 2016, Programming and Computer Software.

Dworzanski L. W., Samokhvalov D. I. Automatic Code Generation from Nested Petri
net to Event-based Systems on the Telegram Platform, in: Proceedings of the 
10th Anniversary Spring/Summer Young Researchers’ Colloquium on Software 
Engineering (SYRCoSE 2016). 
Мoscow, Instite of System Programming Russian Academy of Science, 2016.

Knizhnikova I., Dworzanski L. W. Modular Construction of Time Petri Nets 
Reachability Graph, in: Proceedings of the 8th Spring/Summer Young
Researchers’ Colloquium on Software Engineering (SYRCoSE 2014),
2014. Ch. 1. P. 8-12.

Dworzanski L. W., Lomazova I. A., CPN Tools-Assisted Simulation and Verification
of Nested Petri Nets / Trans. from Rus. // Automatic Control and Computer Sciences.
2013. Vol. 47. No. 7. P. 393-402.

Dworzanski L. W., Frumin D. I. NPNtool: Modelling and Analysis Toolset for Nested Petri Nets,
in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering,
SYRCoSE 2013 / Chief Ed.: A. Kamkin.; Ed. by A. Petrenko, A. Terekhov. Kazan, 2013. P. 9-14.

Buchina N. G., Dworzanski L. W. The tool for modeling of wireless sensor networks with nested
Petri nets , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software
Engineering, SYRCoSE 2013 / Отв. ред.: A. Kamkin.; Ed. by A. Petrenko, A. Terekhov. Kazan,
2013. P. 15-18.

(rus) Dworzanski L.W., Lomazova I.A.,
"Simulation and verification of Nested Petri nets via CPNTools"
Modelling and analysis of information systems, V.19, Issue 5, pp. 115-130,
Yaroslavl State University of Demidov, 2012.

Leonid W. Dworzanski,  Irina A. Lomazova,
"On Compositionality of Boundedness and Liveness for Nested Petri Nets",
Fundamenta Informaticae, Volume 120, Number 3-4, pp. 277-295,
ISSN 0169-2968 (Print), 1875-8681 (Online), IOS Press, 2012.

Dvoryansky L.V., Lomazova I.A. Towards a Translation from Nested Petri Nets
into Colored Petri Nets // Program Semantics, Specification and
Verification: Theory and Applications. The conference materials.
Nizhny Novgorod: Nizhny Novgorod State University, 2012. pp. 55-63

Dvoryansky L.V., Frumin D.I. On Temporal Properties of Nested Petri Nets
// Proceedings of the 6th Spring/Summer Young Researchers’
Colloquium on Software Engineering. Perm, 2012. pp. 122-127
Moscow, Institute for System Programming Russian Academy of Sciences

L. Dvoryansky, I.A. Lomazova, "Compositionality of Some Behavioral Properties
for Free-Choice Nested Petri Nets", Second Workshop "Program Semantics, 
Specification and Verification: Theory and Applications", St. Petersburg, 
Russia, June 12-13, 2011. Proceedings.

(rus) Dworzanski L.W., "On the modeling of infinite counters by classical Petri
nets.", Proceedings of the Institute for System Programming of RAS, volume 20,
pp. 71-94., 2011. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print) 

(rus) Drobincev, P., Dworzanski, L., Platform-independent approach
to console applications testing. In "Microsoft technologies
in theory and practice of programming". St.Petersburg,
Russia, March 4-5, 2004.

(rus) Dworzanski, L., Platform-independent approach to console
applications testing. In appear to "32nd Week of science in
Saint-Petersburg State Polytechnical University".
St.Petersburg, Russia, November 3, 2004.

HONOURS AND ACHIEVEMENTS:

 2014              Best Teachers of the HSE award
 2013              Bonus for academic activity (2013-2015)
            in National Research University Higher School of Economics
 2013              Bonus for effective usage of online Learning Management System (eFront)
            in National Research University Higher School of Economics
 2012              Best paper award SYRCoSE'2012
 2004 Dec 03       First place in the 32nd week of science contest

PROFESSIONAL EXPERIENCE:

 2016 -     Researcher in RFBR 16-37-00482 (individual grant)
   2017     Compositionality of temporal logic properties of Nested Petri nets.

 2011 -     Researcher in RFBR 11-01-00737-а (2011-2013) 
   2013     Research and development of the multilevel resource-oriented formalism
            for modelling and analysis of multiagent systems with dynamic structure.

 Sep 11 - nowadays National Research University Higher School of Economics

    Researcher at Laboratory of Process-Aware Information Systems (PAIS Lab)
        Seniour Lecturer at the School of Software Engineering
        
            Responsibilities:
              * Coordinator of high potential staff
            Readed courses:
              * Formal methods of software engineering (masters, 1y)
              * Business process management systems (masters, 1y)
              * Automata theory and formal languages (bachelors, 2y)
              * Foundations of computer science and programming (bachelors, 1y)
              * Discrete math (bachelors, 1y)
            Achievements:
              * Developed the practical part of the courses Formal methods,
        Automata theory and formal languages, Foundations of computer
        science and programming
          * Created several screencast videos for complex topics in FCSP

 Dec 05 - Aug 11   Institute for System Programming
                   of the Russian Academy of Sciences

        Developer/Junior researcher in the CASE technologies department
        (ISPRAS/Telelogic/IBM).
        
            Responsibilities:
            Maintenance and evolution:
              * UML models simulator (Use cases, Activities, State Machines)
              * C/C++ codegenerator
              * Executable models round-trip
            Achievements:
              * Supervised two graduate students (Moscow State University)
              * Several product releases (TAU)
              * Improved inner architecture of UML executable models' debugger
              * Implemented UML Activity Diagrams simulator in compliance
                with the UML Superstructure 2.2 (chapter 12,
                Structured/Complete Activities level) standard
              * Suggested and implemented series of improvements in support
                of UML executable models in the Telelogic/TAU product

 Dec 04 - Jul 05   Lanit-Tercom, St.Petersburg, Russia.

         The leading Russian provider of offshore R&D services. Employs one of
         the largest and technically competent teams in Russia.

         Compiler Developer (Department of a high-level translators' development):
            Responsibilities:
            * Maintenance of a large translator on IBM z/OS mainframe system.
            Achievements:
            * Supervised two bachelor students
              (Saint Petersburg Polytechnical University)
            * Achieved a better documentation and process level.
            * Translator's bugs founded and fixed.

 Sep 03 - May 04   Motorola, St.Petersburg, Russia.

         The global communications company that provides mobility products
         and solutions across broadband, embedded systems and wireless
         networks.

         Contractor (Department of Advanced technologies):
            Achievements:
            * Gathered disembodied data on the project from various sources.
            * Researched and developed new cross-platform approach based on proposed REBEL
              language for testing console applications.
              (Regular Expression Based Equation Language)
            * Implemented REBEL interpreter. (Tcl/Tk)

         Test Leader (Department of Advanced technologies):
            Responsibilities:
            * Coordinating and consulting a small group consisted of three test
              engineers.
            * Test planning and report preparation.
            Achievements:
            * Planned a schedule of test activities and checkpoints (Test Plan).
            * Assisted project manager to release beta version of software product.
            * Developed test monitor and universal test format. (Tcl/Tk)
            * More than 2500 tests in 5 different formats were converted
              into universal format and passed on Windows and Solaris platform.
            * Founded previously undiscovered bugs.
            * Fixed some bugs in SUT (System Under Testing).
            * Tested SUT in time successfully.

 Aug 02 – Nov 02   R&D Software, St.Petersburg, Russia.

         Software outsourcing company that improves and integrates CAD/CAM
         software.

         Software Developer:
            Achievements:
            * Developed parser/viewer for large log files (~100mb) with
              filtering function. (Tcl/Tk - *nix, Solaris)
            * Developed hand-written translator for the subset of Postscript
              language in order to modify integrated microcircuit's diagrams.
              (C/C++ - *nix, Solaris)


PERSONAL DETAILS:

 Date of Birth:    18 March 1982
 Sex:              Male
 Marital Status:   Married
 Languages:        Russian (native), English (fluent),
                   French (entry level)
 Interests:        nature, travel, children

<End of Curriculum Vitae>

Other activity

  • 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

If you are enthusiastic about theoretical aspects of programming. If you like to learn new formalisms (different kinds of automata, Petri nets, process algebras, temporal logics), learn new algorithms, prove theorems about these formalisms or want to study how to do all these things - write me: leo@mathtech.ru

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


Interesting links

Program Semantics, Specification and Verification club: pssv-conf.ru
 
Departments of Computer Science:
Educational links:
Interesting links:

Timetable for today

Full timetable

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.