Ben-Ari has published numerous textbooks in computer science,[2][3][4] developed software tools for teaching computer science, and written influential papers[5][6] in computer science education.[7] His primary focus has been on books and tools for learning theoretical concepts in computer science and mathematics, such as concurrency[8] and mathematical logic.[9]
In collaboration with the University of Joensuu (now part of the University of Eastern Finland) his group developed the Jeliot program[10] animation system for teaching elementary computer science and programming.
Ben-Ari received ACMSIGCSE Award for Outstanding Contributions for Computer Science Education in 2004, was named an ACM Distinguished Educator in 2009 and received the ACM Karl V. Karlstrom Award in 2019.
^Ben-Ari, M. (2006). Principles of Concurrent and Distributed Programming. Boston: Addison-Wesley (Second Edition). ISBN978-0-321-31283-9.
^Ben-Ari, M. (2012). Mathematical Logic for Computer Science (Third ed.). Berlin: Springer. ISBN978-1-4471-4128-0.
^Ben-Ari, M.; Bednarik, R.; Ben-Bassat Levy, R.; Ebel, G.; Moreno, A.; Myller, N.; Sutinen, E. (2011). "A decade of research and development on program animation: The Jeliot experience". Journal of Visual Languages and Computing. 22 (5): 375–384. doi:10.1016/j.jvlc.2011.04.004.