Mathematician:Mordechai Ben-Ari

From ProofWiki
(Redirected from Mathematician:M. 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.