Nachum Dershowitz - Nachum Dershowitz

Nachum Dershowitz
Nachum Dershowitz
Kjent for	Dershowitz – Manna bestiller
Utmerkelser	Herbrand Award 2011
	Vitenskapelig karriere
Enger	Termomskriving
Avhandling	The Evolution of Programs (1979)
Doktorgradsrådgiver	Zohar Manna
Nettsted	http://www.cs.tau.ac.il/~nachumd/Homepage.html

Nachum Dershowitz er en israelsk datavitenskapsmann, kjent for eksempel for Dershowitz – Manna-bestillingen og multiset-stierekkefølgen som brukes til å bevise avslutning av termomskrivingssystemer .

Han fikk sin B.Sc. summa cum laude i 1974 i informatikk – anvendt matematikk fra Bar-Ilan University , og hans doktorgrad. i 1979 i anvendt matematikk fra Weizmann Institute of Science . Fra 1978 jobbet han ved Institutt for informatikk ved University of Illinois i Urbana-Champaign , til han ble full professor ved Tel Aviv University (School of Computer Science) i 1998. Han var gjesteforsker ved Weizmann Institute , INRIA. , ENS Cachan , Microsoft Research , og universitetene i Stanford , Paris , Jerusalem , Chicago og Beijing . Han mottok Herbrand Award for Distinguished Contributions to Automatic Reasoning i 2011.

Han har vært medforfatter av standardteksten på kalenderalgoritmer, Calendrical Calculations , med Edward Reingold . En implementering av algoritmen i Common Lisp settes i det offentlige området, og distribueres også med boka.

Se også

Utvalgte publikasjoner

Nachum Dershowitz & Zohar Manna (1977). "The Evolution of Programs: A System for Automatic Program Modification" (PDF) . Proc. POPL . s. 144–154.
Nachum Dershowitz og Zohar Manna (august 1979). "Proving Termination with Multiset Orderings" (PDF) . Kommunikasjon av ACM . 22 (8): 465–476. CiteSeerX 10.1.1.1013.432 . doi : 10.1145 / 359138.359142 .
N. Dershowitz (okt 1979). "Bestillinger for termomskrivingssystemer". Proc. 20. symposium om grunnlag for datalogi (FOCS) . s. 123–131.
N. Dershowitz (1981). "Avslutning av lineære omskrivingssystemer: Foreløpig versjon". I Shimon Even; Oded Kariv (red.). Proc. ICALP . LNCS . 115 . Springer. s. 448–458.
N. Dershowitz (1982). "Bestillinger for termomskrivingssystemer" (PDF) . Teori. Beregn. Sci. 17 (3): 279–301. doi : 10.1016 / 0304-3975 (82) 90026-3 .
Dershowitz, N. (1985). "Oppsigelse" (PDF) . I Jean-Pierre Jouannaud (red.). Omskrivingsteknikker og applikasjoner, 1. Int. Konf., RTA-85 . LNCS. 202 . Springer. s. 180–224.
Bachmair, L. og Dershowitz, N. og Hsiang, J. (juni 1986). "Bestillinger for liknende bevis". Proc. IEEE Symposium on Logic in Computer Science (LICS) . Cambridge / MA. s. 346–357.CS1 maint: flere navn: forfatterliste ( lenke )
Bachmair, L. & Dershowitz, N. (1987). "Fullføring for omskriving av Modulo til en kongruens". I Lescanne, Pierre (red.). Omskrivningsteknikker og applikasjoner, 2. Int. Konf., RTA-87 . LNCS. 256 . Springer. s. 192–203.
Nachum Dershowitz (1987). "Termination of Rewriting" (PDF) . J. Symbolic Comput. 3 (1–2): 69–116. doi : 10.1016 / s0747-7171 (87) 80022-6 .
N. Dershowitz & M. Okada (1988). "Bevissteoretiske teknikker for teoretisk omskrivningsteori". Proc. 3. IEEE Symp. på Logikk i informatikk (PDF) . s. 104–111.
N. Dershowitz & G. Sivakumar (1988). "Å løse mål på likestillingsspråk". Proc. 1. Int. Workshop om betingede omskrivingssystemer . LNCS. 308 . Springer. s. 45–55.
Dershowitz, Nachum, red. (1989). Omskrivningsteknikker og applikasjoner, 3. Int. Konf., RTA-89 . LNCS. 355 . Springer.
N. Dershowitz & J.-P. Jouannaud (1990). "Omskriv systemer". I Jan van Leeuwen (red.). Formelle modeller og semantikk . Håndbok for teoretisk informatikk. B . Elsevier. s. 243–320.
N. Dershowitz & J.-P. Jouannaud (1990). "Notasjoner for omskrivning". Sitatjournal krever |journal=( hjelp )
Dershowitz, N. og Jouannaud, J.-P. og Jan Willem Klop (1991). "Åpne problemer i omskriving". I Ronald V. Book (red.). Omskrivingsteknikker og applikasjoner, 4. Int. Konf., RTA-91 . LNCS. 488 . Springer. s. 445–456.CS1 maint: flere navn: forfatterliste ( lenke )
Dershowitz, N. og Jouannaud, J.-P. og Klop, JW (1993). "Flere problemer med omskriving". I Kirchner, Claude (red.). Omskrivingsteknikker og applikasjoner, 5. Int. Konf., RTA-93 . LNCS. 690 . Springer. s. 468–487.CS1 maint: flere navn: forfatterliste ( lenke )
Nachum Dershowitz (apr 1993). "Trær, ordinærer og avslutning". Proc. CAAP / TAPSOFT (PDF) . LNCS. 668 . Springer. s. 243–250.
Dershowitz, N. & Hoot, C. (1993). "Emner i oppsigelse". I Kirchner, Claude (red.). Omskrivingsteknikker og applikasjoner, 5. Int. Konf., RTA-93 . LNCS. 690 . Springer. s. 198–212.
Dershowitz, N. (1997). "Innocuous Constructor-Sharing Combinations". I Comon, Hubert (red.). Omskrivningsteknikker og applikasjoner, 8. Int. Konf., RTA-97 . LNCS. 1232 . Springer. s. 202–216.
Dershowitz, Nachum og Reingold, Edward M. , Calendrical Calculations , Cambridge University Press, ISBN 0521702380 , 1997
Dershowitz, N. & Treinen, R. (1998). "En online problemdatabase". I Tobias Nipkow (red.). Omskrivningsteknikker og applikasjoner, 9. Int. Konf., RTA-98 . LNCS. 1379 . Springer. s. 332–342.
Dershowitz, N. & Mitra, S. (1999). "Jeopardy". I Narendran, Paliath & Rusinowitch, Michaël (red.). Omskrivingsteknikker og applikasjoner, 10. Int. Konf., RTA-99 . LNCS. 1631 . Springer. s. 16–29.
Nachum Dershowitz og David A. Plaisted (2001). "Omskriving (kapittel 9)". I Alan Robinson ; Andrei Voronkov (red.). Håndbok for automatisert resonnement . MIT Trykk + Elsevier. s. 535–610.
Dershowitz, N. (2005). "Termomskriving og applikasjoner". I Giesl, J. (red.). Termomskriving og applikasjoner, 16. Int. Konf., RTA-05 . LNCS. 3467 . Springer. s. 376–393. ISBN 978-3-540-25596-3.
Dershowitz, N. & Castedo Ellerman, E. (2005). "Leanest Quasi-orderings". I Giesl, J. (red.). Termomskriving og applikasjoner, 16. Int. Konf., RTA-05 . LNCS. 3467 . Springer. s. 32–45. ISBN 978-3-540-25596-3.
Dershowitz, Nachum 2005. The Four Sons of Penrose , in Proceedings of the Elfth Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR; Jamaica) , G. Sutcliffe and A. Voronkov, red., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlin, s. 125–138.