Dmitry Zaitsev

Dmitry Zaitsev is a Senior Lecturer in Software Engineering at the College of Science and Engineering. His work focuses on applying Petri Nets to diverse domains, including epidemiological modeling, parallel computing architectures, and blockchain analysis. Recent research includes GPU vs CPU performance studies for sparse matrix computations and formal verification of distributed systems.

Research Interests:

• Petri Net modeling frameworks
• Mass-parallel algorithms for high-performance computing
• Embedded system reliability engineering
• Blockchain protocol analysis
• Formal verification of MPI programs

Recent Publications Trends: Demonstrates strong focus on Petri Nets applications across:

• Public health modeling (Ebola/COVID)
• GPU-accelerated scientific computing
• Microcontroller/FPGA-based embedded systems
• Blockchain fork analysis

Advising & Grants: No specific student/advisor relationships or grant details mentioned in the provided text.

Labs/Teams: No specific laboratories or research groups explicitly associated in this data.