ProofWiki:Mathematicians/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