Career
Ben-Ari has published numerous textbooks in computer science, developed software tools for teaching Computer Science, and written many influential papers in computer science education. His primary focus has been on books and tools for learning theoretical concepts in computer science, such as concurrency and mathematical logic. In collaboration with the University of Joensuu in Finland, his group has developed the Jeliot program animation system for teaching elementary computer science and programming.
Jeliot Program Animation System.
Erigone Model Checker. jSpin Development Environment for Spin and Erigone. VN: Visualization of Nondeterminism.
DAJ: Distributed Algorithms in Java.