Mathematician:Mordechai Ben-Ari

Israeli mathematician best known for his work in mathematical logic and computer science.

Nationality
Israeli

History

 * 1948: Born
 * 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

Books and Papers

 * 1982: Principles of Concurrent Programming
 * 1990: Principles of Concurrent and Distributed Programming
 * 1993: Mathematical Logic for Computer Science
 * 1995: Understanding Programming Languages
 * 1998: Ada for Software Engineers
 * 2001: Mathematical Logic for Computer Science (Second edition): ISBN 978-1-85233-319-5
 * 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