Moti Ben-Ari
Wygląd
(Przekierowano z Mordechai 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.
- ↑ M Ben-Ari , Podstawy programowania współbieżnego, Piotr Chrząstowski (tłum.), Janina 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.)
Kontrola autorytatywna (osoba):
- ISNI: 0000000114537341, 0000000368588851
- VIAF: 101893996, 309809274
- LCCN: n82018896
- GND: 121144844
- NDL: 00432845
- LIBRIS: qn24zqf82465msg
- BnF: 12702955w
- SUDOC: 060165278
- NLA: 36569757
- NKC: kup20030000006370
- NTA: 067827942
- BIBSYS: 90053184
- PLWABN: 9810579775805606
- NUKAT: n96403387
- J9U: 987007306090705171
- CANTIC: a11201356
- LNB: 000165914
- NSK: 000281124