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
- ↑ Mordechai (Moti) Ben-Ari personal webpage
- ↑ Mordechai Ben-Ari (2009). Ada for Software Engineers: Second Edition with Ada 2005. Berlin: Springer. ISBN 1-84882-313-4.
- ↑ Moti Ben-Ari (2005). Just A Theory: Exploring The Nature Of Science. Buffalo, N.Y.: Prometheus Books. ISBN 1-59102-285-1.
- ↑ Ben-Ari, M. (1996). Understanding programming languages. New York: Wiley. ISBN 0-471-95846-8.
- ↑ http://scholar.google.com/scholar?q=Mordechai+Ben-Ari Mordechai Ben-Ari in Google Scholar
- ↑ http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Ben=Ari:Mordechai.html Mordechai Ben-Air in DBLP
- ↑ Ben-Ari, M. (1998). "Constructivism in computer science education". ACM SIGCSE Bulletin 30: 257–261. doi:10.1145/274790.274308.
- ↑ Principles of concurrent and distributed programming. Boston: Addison-Wesley. 2006. ISBN 0-321-31283-X.
- ↑ Ben-Ari, M. (2001). Mathematical logic for computer science. Berlin: Springer. ISBN 1-85233-319-7.
- ↑ 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.
- ↑ 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. p. 373. doi:10.1145/989863.989928. ISBN 1581138679.
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.
|