Updated on May 31, 2024. Moved to: https://dimazaitsev.github.io

Nikolay D. Zaitsev - Santa Lucia

Eng / Rus

Dima with Bow Tie

Dmitry A. Zaitsev

Dr.Sci., Professor
Senior Member of ACM and IEEE
E-mail: daze@acm.org

ACM: Association for Computing Machinery

IEEE: Institute of Electrical and Electronics Engineers

News from Zaitsev

Invited talk to RP'2023 on Oct 10-13, 2023: Sleptsov Net Computing Resolves Modern Supercomputing Problems , based on SNC references

"A little pigeon": Bernard Berthomieu, Dmitry A. Zaitsev, Sleptsov nets are Turing-complete, Theoretical Computer Science, Volume 986, 2024


Principal Theoretical Results

Principal Scientific-Practical Results

  • ParAd - software system for solving big sparse Diophantine systems on parallel and distributed architecture via clan composition
  • Plug-in modules for Petri net modelling system Tina: Deborah - decomposition into clans, Adriana and ParAd - compositional computing Petri net invariants
  • Petri net models of networking protocols:TCP, BGP, IOTP, ECMA
  • Software generators of Petri net models of grids: square, hypercube, hypertorus
  • Colored Petri net models of networks: Ethernet, IP, MPLS, Bluetooth, PBB, E6, blockchain
  • Stack of networking protocols E6 and its implementation in Linux kernel
  • Software systems: Opera-Topaz - Petri net based production control and management system; Nevod, Nevod - Petri net modeling system for embedded applications; Sergo - editor of electrical circuits; Cross-meta-assembler - cross platform adjustable assembler
  • Education



    Training courses



    Recent Courses

    Photo Albums

    Mahjong with Dima Zaitsev

    Ode to Jack Dongarra (Exascale Jack)

    ETH 0x0882dE5D9944Fe353243bAbF2b49A15C15A18628

    "Petri nets are among the more interesting constructs in mathematics. I have used them in the analysis of program flow and Dmitri Zaitsev's book explores other properties of these unique and powerful constructs." Vinton Cerf - Father of Internet, President of ACM, Chief Internet Evangelist of Google

    Dmitry A. Zaitsev