Mordechai Ben-Ari

Mordechai (Moti) Ben-Ari (Hebrew: מרדכי (מוטי) בן-ארי‎) is a professor of computer science education at the Weizmann Institute of Science^[1]

Ben-Ari has published numerous textbooks in computer science^[2][3][4], developed software tools for teaching Computer Science, and written many 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, such as concurrency^[8] and mathematical logic^[9].

In collaboration with the University of Joensuu in Finland, his group has developed the Jeliot program^[10][11] animation system for teaching elementary computer science and programming.

Ben-Ari received the 2004 ACM SIGCSE Award for Outstanding Contributions for Computer Science Education.

References

1. ^ http://stwww.weizmann.ac.il/g-cs/benari/ Mordechai (Moti) Ben-Ari personal webpage
2. ^ Mordechai Ben-Ari (2009). Ada for Software Engineers: Second Edition with Ada 2005. Berlin: Springer. ISBN 1-84882-313-4. 
3. ^ Moti Ben-Ari (2005). Just A Theory: Exploring The Nature Of Science. Buffalo, N.Y: Prometheus Books. ISBN 1-59102-285-1. 
4. ^ Ben-Ari, M. (1996). Understanding programming languages. New York: Wiley. ISBN 0-471-95846-8. 
5. ^ http://scholar.google.com/scholar?q=Mordechai+Ben-Ari Mordechai Ben-Ari in Google Scholar
6. ^ http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Ben=Ari:Mordechai.html Mordechai Ben-Air in DBLP
7. ^ Ben-Ari, M. (1998). "Constructivism in computer science education". ACM SIGCSE Bulletin 30: 257–261. doi:10.1145/274790.274308.  edit
8. ^ Principles of concurrent and distributed programming. Boston: Addison-Wesley. 2006. ISBN 0-321-31283-X. 
9. ^ Ben-Ari, M. (2001). Mathematical logic for computer science. Berlin: Springer. ISBN 1-85233-319-7. 
10. ^ Ben-Ari, M.; Myller, N.; Sutinen, E.; Tarhio, J. (2002). "Perspectives on Program Animation with Jeliot". Software Visualization. Lecture Notes in Computer Science. 2269. pp. 31–45. doi:10.1007/3-540-45875-1_3. ISBN 978-3-540-43323-1.  edit
11. ^ Moreno, A. S.; Myller, N.; Sutinen, E.; Ben-Ari, M. (2004). "Visualizing programs with Jeliot 3". Proceedings of the working conference on Advanced visual interfaces - AVI '04. pp. 373. doi:10.1145/989863.989928. ISBN 1581138679.  edit

Pedagogical Software

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

Persondata
Name	Ben-Ari, M.
Alternative names
Short description
Date of birth
Place of birth
Date of death
Place of death