Arvin Zakeriyan

Papers

Total Citations

H-Index

About

Arvin Zakeriyan is a researcher focused on the formal verification and reliability of concurrent and distributed systems, with a particular emphasis on the actor model of computation. His work addresses the critical challenge of ensuring correctness in programs built on asynchronous, event-driven actors—a paradigm prized for its scalability but prone to subtle concurrency bugs. Zakeriyan’s major contribution is the development of **Jacco**, a model checking toolset for Java actor programs, which enables automated detection of deadlocks, race conditions, and other errors. This tool, detailed in his 2015 paper (cited 3 times), represents a practical step toward making formal verification more accessible for real-world actor-based software. While his citation count is modest, his research is foundational for developers and academics seeking to build reliable concurrent systems. By bridging the gap between theoretical verification methods and practical tooling, Zakeriyan’s work supports safer programming in distributed environments, offering a tangible resource for those navigating the complexities of actor concurrency.