About me

Leonid Dvoryansky home page.

Scientific interests: Сomputational models (Petri nets, process algebras), model checking.

Other interests: Math Logic, Algorithms, Algebra, Set Theory, Group Theory

E-mail: public at this.site
CV:
  • Education:
    SPbSTU, Master thesis '05 "Extracting formal specification based on Hoare-like triples from C++ code."
  • Publications:
    1. 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.
    2. L.V. Dvoryansky, "On the modeling of infinite counters by ordinary 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)
      (auth: "conventional" should be instead of "ordinary").
    Scientific advisement:
    1 diploma students (BSc) (SPbSTU)

    2 diploma students (MSc) (CMC MSU)

    Software development:
    Domain: compilers, simulators, CASE, EDA support/development. Organization: ISP RAS (Telelogic/IBM), Lanit-Tercom, Motorola, RD Software, some freelance