Mordechai Ben-Ari

Mordechai (Moti) Ben-Ari (Hebrew: מרדכי (מוטי) בן-ארי‎‎) is a professor of computer science education at the Weizmann Institute of Science
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.
Ben-Ari received the 2004 ACM SIGCSE Award for Outstanding Contributions for Computer Science Education and was named an ACM Distinguished Educator in 2009.

• Jeliot Program Animation System.
• Erigone Model Checker.
• jSpin Development Environment for Spin and Erigone.
• VN: Visualization of Nondeterminism.
• DAJ: Distributed Algorithms in Java.