# Mathematician:Mordechai Ben-Ari

From ProofWiki

(Redirected from Mathematician:M. Ben-Ari)

## Mathematician

**Mordechai ("Moti") Ben-Ari** is an Israeli mathematician best known for his work in mathematical logic and computer science.

## Nationality

Israeli

## History

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

## Theorems and Definitions

## Publications

- 1982:
*Principles of Concurrent Programming* - 1990:
*Principles of Concurrent and Distributed Programming* - 1993:
*Mathematical Logic for Computer Science, 1st ed.* - 1995:
*Understanding Programming Languages* - 1998:
*Ada for Software Engineers* - 2001:
*Mathematical Logic for Computer Science, 2nd ed.* - 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 - 2012:
*Mathematical Logic for Computer Science, 3rd ed.*