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

Kinda flowcharts for GPU programming:

Notation for mass parallel algorithms: computing Petri net state space on GPU case study, International Journal of Parallel, Emergent and Distributed Systems, Open Access, Nov 22, 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
  • Opera-Topaz - Petri net based production control and management software system
  • Nevod - Petri net modeling system for embedded applications
  • 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