Mordechai Ben-Ari
Mordechai Ben-Ari (born December 11, 1948 ) is a professor at the Weizmann Institute for Science in Rechovot ( Israel ).
Life
He mainly teaches and researches the areas of concurrency , parallel programming and mathematical logic . He is the author of the important textbook Principles of Concurrent and Distributed Programming . In addition, is the author of several other textbooks on these topics and the Ada programming language .
In 2004 he received the ACM SIGCSE Award for Outstanding Contributions to Computer Science Education .
Publications
- Mordechai Ben-Ari: Mathematical Logic for Computer Science . 3. Edition. Springer-Verlag London, 2012, ISBN 978-1-4471-4129-7 , pp. 346 (English).
- Mordechai Ben-Ari: Principles of Concurrent and Distributed Programming: Algorithms and Models (= Prentice-Hall International Series in Computer Science ). 2nd Edition. Addison-Wesley, 2005, ISBN 978-0-321-31283-9 , pp. 361 (English).
- Mordechai Ben-Ari, Zohar Manna, Amir Pnueli: The temporal logic of branching time . In: Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (= POPL '81 ). ACM, New York 1981, ISBN 0-89791-029-X , pp. 164-176 , doi : 10.1145 / 567532.567551 .
- Mordechai Ben-ari: Constructivism in Computer Science Education . In: Center for Research on Learning and Teaching, University of Michigan . tape 8 , 1998, pp. 38-44 ( psu.edu [accessed May 2, 2013]).
- Andres Moreno, Niko Myller, Erkki Sutinen, Mordechai Ben-Ari: Visualizing programs with Jeliot 3 . In: Proceedings of the working conference on Advanced visual interfaces (= AVI '04 ). ACM, New York 2004, ISBN 1-58113-867-9 , pp. 373-376 , doi : 10.1145 / 989863.989928 .
Web links
Individual evidence
personal data | |
---|---|
SURNAME | Ben-Ari, Mordecai |
BRIEF DESCRIPTION | Israeli university professor and author |
DATE OF BIRTH | December 11, 1948 |