Moti Ben-Ari

Mordechai (Moti) Ben-Ari (hebr. ‏מרדכי (מוטי) בן-ארי‎) – profesor informatyki znany ze swojego wkładu w rozwój języka Ada.

Wykształcenie[edytuj | edytuj kod]

bakałarz – MIT, 1970 r.
magister – uniwersytet w Tel Awiwie, 1977 r.
doktor matematyki – uniwersytet w Tel Awiwie, 1982 r.

Praca[edytuj | edytuj kod]

Od 1995 roku jest związany z Instytutem Weizmanna w Rehowot, w Izraelu, gdzie na Wydziale Nauk Ścisłych zajmuje stanowisko profesora nadzwyczajnego. Jest też profesorem wizytującym na Wydziale Informatyki uniwersytetu w Joensuu, w Finlandii. Wcześniej pracował na Wydziale Informatyki politechniki Technion, w Hajfie, i na Wydziale Informatyki uniwersytetu w Tel Awiwie^[1].

Publikacje[edytuj | edytuj kod]

„Podstawy programowania współbieżnego”^[2] (tytuł oryginału: Principles of Concurrent Programming^[3]^[4]) – pozycja wprowadzająca do tematu, w której autor użył m.in. wielu humorystycznych przykładów opisujących zarówno omawianą problematykę, jak i algorytmy oraz metody: znane przykłady z książki to: metafora igloo i Eskimosów, problem ucztujących filozofów, problem śpiącego fryzjera itd. Szeroko używana jako podręcznik na kursach informatyki, a w krajach anglosaskich znana jest pod nazwą „The Igloo Book”.
„Logika matematyczna w informatyce”^[5] (tytuł oryginału: Mathematical Logic for Computer Science)^[6] – popularny podręcznik dla studentów informatyki

Przypisy[edytuj | edytuj kod]

↑ „Podstawy programowania współbieżnego i rozproszonego”, WNT, Warszawa 2009, ISBN 978-83-204-3411-5, O Autorze.
↑ MM. Ben-Ari MM., Podstawy programowania współbieżnego, PiotrP. Chrząstowski (tłum.), JaninaJ. Mincer-Daszkiewicz (tłum.), Warszawa: WNT, 1989, ISBN 83-204-1121-1, OCLC 749290513 .
↑ „Principles of Concurrent Programming”, Prentice Hall, 1982, ISBN 0-13-701078-8.
↑ Rozwinięcie tej książki: „Principles of Concurrent and Distributed Programming”, Addison-Wesley, 2006, ISBN 0-321-31283-X.
↑ „Logika matematyczna w informatyce”, WNT, Warszawa 2005, ISBN 83-204-3221-9.
↑ „Mathematical Logic for Computer Science”, Springer-Verlag London Limited 2001.

Linki zewnętrzne[edytuj | edytuj kod]

Informacje akademickie. stwww.weizmann.ac.il. [zarchiwizowane z tego adresu (2007-11-22)]. (ang.)

[1] „Podstawy programowania współbieżnego i rozproszonego”, WNT, Warszawa 2009, ISBN 978-83-204-3411-5, O Autorze.

[2] MM. Ben-Ari MM., Podstawy programowania współbieżnego, PiotrP. Chrząstowski (tłum.), JaninaJ. Mincer-Daszkiewicz (tłum.), Warszawa: WNT, 1989, ISBN 83-204-1121-1, OCLC 749290513 .

[3] „Principles of Concurrent Programming”, Prentice Hall, 1982, ISBN 0-13-701078-8.

[4] Rozwinięcie tej książki: „Principles of Concurrent and Distributed Programming”, Addison-Wesley, 2006, ISBN 0-321-31283-X.

[5] „Logika matematyczna w informatyce”, WNT, Warszawa 2005, ISBN 83-204-3221-9.

[6] „Mathematical Logic for Computer Science”, Springer-Verlag London Limited 2001.

[1]

[2]

[3]

[4]

[5]

[6]