Mathematician:Mordechai Ben-Ari
Jump to navigation
Jump to search
Mathematician
Israeli mathematician best known for his work in mathematical logic and computer science.
Nationality
Israeli
History
- Born: 11 December 1948
- 1970: B.Sc. in Mathematics: Massachusetts Institute of Technology
- 1977: M.Sc. in Mathematics (Computer Science): Tel Aviv University
- 1978-81: Assistant instructor, Dept. of Computer Science: Tel Aviv University
- 1982: Ph.D. in Mathematics (Computer Science): Tel Aviv University
- 1985–92: Adjunct senior lecturer, Dept. of Computer Science: Technion
- 1988-89: Visiting associate professor, Dept. of Computer Science: Brandeis University
- 1995: Associate professor, Dept. of Science Teaching: Weizmann Institute of Science
- 1995-96: Adjunct associate professor, Dept. of Computer Science: Tel Aviv University
- 2002: Visiting professor, Dept. of Computer Science: University of Joensuu, Finland
- 2005: Visiting professor, Dept. of Computer Science: Helsinki University of Technology, Finland
Publications
- 1982: Principles of Concurrent Programming
- 1990: Principles of Concurrent and Distributed Programming
- 1995: Understanding Programming Languages
- 1998: Ada for Software Engineers
- 2005: Just a Theory: Exploring the Nature of Science: ISBN 1-59102-285-1
- 2006: Principles of Concurrent and Distributed Programming (Second edition): ISBN 978-0-32131-283-9
- 2008: Principles of the Spin Model Checker: ISBN 978-1-84628-769-5
- 2009: Ada for Software Engineers (Second Edition with Ada 2005): ISBN 978-1-84882-313-6
Also known as
Known informally as Moti.