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 CS, and written many influential papers in CS 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.

[edit] External links

• Personal web page

[edit] Textbooks

• Ada for Software Engineers (Second Edition with Ada 2005). Springer, 2009. ISBN 978-1-84882-313-6.
• Principles of the Spin Model Checker.. Springer, 2008. ISBN 978-1-84628-769-5.
• Mathematical Logic for Computer Science (Second edition). Springer, 2001, 2008. ISBN 978-1-85233-319-5.
• Principles of Concurrent and Distributed Programming (Second edition). Pearson, 2006. ISBN 978-0-32131-283-9.
• Just a Theory: Exploring the Nature of Science. Prometheus, 2005. ISBN 1-59102-285-1.
• Understanding Programming Languages (Free download).

[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.

This article about an Israeli scientist is a stub. You can help Wikipedia by expanding it. v • d • e

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it. v • d • e