Nikolay D. Zaitsev - Santa Lucia

Eng / Rus


Dima with Bow Tie

Dmitry (Dima) 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 "Sleptsov Net Computing" to The 3rd International Colloquium on Discrete Event Dynamic Systems, Jul 13, 2024, Xi'an, China:, based on SNC references

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


Video/Audio

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

    Jobs

    Experience

    Training courses

    Hobby

    Misc

    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