Nachum Dershowitz

Nachum Dershowitz es un científico informático israelí, conocido, por ejemplo, por el ordenamiento de Dershowitz-Manna y el ordenamiento de rutas de conjuntos múltiples utilizado para demostrar la terminación de los sistemas de reescritura de términos .

Educación y carrera

Obtuvo su licenciatura, summa cum laude , en 1974 en ciencias de la computación y matemáticas aplicadas de la Universidad Bar-Ilan , y su doctorado en 1979 en matemáticas aplicadas del Instituto Weizmann de Ciencias . Desde 1978, trabajó en el Departamento de Ciencias de la Computación de la Universidad de Illinois en Urbana-Champaign , y fue contratado como profesor titular de la Universidad de Tel Aviv (Escuela de Ciencias de la Computación) en 1998. Fue investigador invitado en el Instituto Weizmann , INRIA , ENS Cachan , Microsoft Research y las universidades de Stanford , París , Jerusalén , Chicago y Pekín . ^[2] Recibió el Premio Herbrand por Contribuciones Distinguidas al Razonamiento Automático en 2011.

Es coautor del texto estándar sobre algoritmos de calendario, Calendrical Calculations , junto con Edward Reingold . ^{[3] [4] [5] [6]} Una implementación del algoritmo en Common Lisp es de dominio público y también se distribuye con el libro.

Véase también

• Luna nueva
• Calendario lunisolar

Publicaciones seleccionadas

• Nachum Dershowitz y Zohar Manna (1977). "La evolución de los programas: un sistema para la modificación automática de programas" (PDF) . Proc. POPL . pp. 144–154.
• Nachum Dershowitz y Zohar Manna (agosto de 1979). "Probando la terminación con ordenamientos multiconjunto" (PDF) . Comunicaciones de la ACM . 22 (8): 465–476. CiteSeerX  10.1.1.1013.432 . doi :10.1145/359138.359142. S2CID  17906810.
• N. Dershowitz (octubre de 1979). "Ordenamientos para sistemas de reescritura de términos". Actas del 20.º Simposio sobre Fundamentos de la Ciencia de la Computación (FOCS) . págs. 123-131.
• N. Dershowitz (1981). "Terminación de sistemas de reescritura lineal: versión preliminar". En Shimon Even; Oded Kariv (eds.). Proc. ICALP . LNCS . Vol. 115. Springer. págs. 448–458.
• N. Dershowitz (1982). "Ordenamientos para sistemas de reescritura de términos" (PDF) . Theoret. Comput. Sci. 17 (3): 279–301. doi :10.1016/0304-3975(82)90026-3. S2CID  6070052.
• Dershowitz, N. (1985). "Terminación" (PDF) . En Jean-Pierre Jouannaud (ed.). Técnicas de reescritura y aplicaciones, 1.ª conferencia internacional, RTA-85 . LNCS. Vol. 202. Springer. págs. 180–224.
• Bachmair, L. y Dershowitz, N. y Hsiang, J. (junio de 1986). "Ordenamientos para pruebas ecuacionales". Proc. Simposio IEEE sobre lógica en informática (LICS) . Cambridge/MA. págs. 346–357.{{cite book}}: CS1 maint: falta la ubicación del editor ( enlace ) CS1 maint: varios nombres: lista de autores ( enlace )
• Bachmair, L. y Dershowitz, N. (1987). "Completado para reescribir la congruencia módulo a". En Lescanne, Pierre (ed.). Técnicas de reescritura y aplicaciones, 2.ª conferencia internacional, RTA-87 . LNCS. Vol. 256. Springer. págs. 192–203.
• Nachum Dershowitz (1987). "Terminación de la reescritura" (PDF) . J. Symbolic Comput. 3 (1–2): 69–116. doi : 10.1016/s0747-7171(87)80022-6 .
• N. Dershowitz y M. Okada (1988). "Técnicas de teoría de pruebas para la teoría de reescritura de términos". Actas del 3.er Simposio IEEE sobre lógica en informática (PDF) . págs. 104-111.
• N. Dershowitz y G. Sivakumar (1988). "Objetivos de resolución en lenguajes ecuacionales". Actas del 1.er taller internacional sobre sistemas de reescritura de términos condicionales . LNCS. Vol. 308. Springer. págs. 45–55.
• Dershowitz, Nachum, ed. (1989). Técnicas de reescritura y aplicaciones, 3.ª conferencia internacional, RTA-89 . LNCS. Vol. 355. Springer.
• N. Dershowitz y J.-P. Jouannaud (1990). "Rewrite Systems". En Jan van Leeuwen (ed.). Modelos formales y semántica . Manual de informática teórica. Vol. B. Elsevier. págs. 243–320.
• N. Dershowitz y J.-P. Jouannaud (1990). "Notaciones para reescribir". {{cite journal}}: Requiere citar revista |journal=( ayuda )
• Dershowitz, N. y Jouannaud, J.-P. y Jan Willem Klop (1991). "Problemas abiertos en la reescritura". En Ronald V. Book (ed.). Técnicas y aplicaciones de reescritura, 4.ª conferencia internacional, RTA-91 . LNCS. Vol. 488. Springer. págs. 445–456.{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
• Dershowitz, N. y Jouannaud, J.-P. y Klop, JW (1993). "Más problemas en la reescritura". En Kirchner, Claude (ed.). Técnicas y aplicaciones de reescritura, 5.ª conferencia internacional, RTA-93 . LNCS. Vol. 690. Springer. págs. 468–487.{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
• Nachum Dershowitz (abril de 1993). "Árboles, ordinales y terminación". Proc. CAAP/TAPSOFT (PDF) . LNCS. Vol. 668. Springer. págs. 243–250.
• Dershowitz, N. y Hoot, C. (1993). "Temas de terminación". En Kirchner, Claude (ed.). Rewriting Techniques and Applications, 5th Int. Conf., RTA-93 . LNCS. Vol. 690. Springer. págs. 198–212.
• Dershowitz, N. (1997). "Combinaciones inocuas que comparten constructores". En Comon, Hubert (ed.). Rewriting Techniques and Applications, 8.ª conferencia internacional, RTA-97 . LNCS. Vol. 1232. Springer. págs. 202–216.
• Dershowitz, Nachum y Reingold, Edward M. , Cálculos calendáricos , Cambridge University Press, ISBN 0521702380 , 1997 
• Dershowitz, N. y Treinen, R. (1998). "Una base de datos de problemas en línea". En Tobias Nipkow (ed.). Rewriting Techniques and Applications, 9.ª conferencia internacional, RTA-98 . LNCS. Vol. 1379. Springer. págs. 332–342.
• Dershowitz, N. y Mitra, S. (1999). "Jeopardy". En Narendran, Paliath y Rusinowitch, Michaël (eds.). Rewriting Techniques and Applications, 10.ª conferencia internacional, RTA-99 . LNCS. Vol. 1631. Springer. págs. 16–29.
• Nachum Dershowitz y David A. Plaisted (2001). "Reescritura (Capítulo 9)". En Alan Robinson ; Andrei Voronkov (eds.). Manual de razonamiento automatizado . MIT Press + Elsevier. págs. 535–610.
• Dershowitz, N. (2005). "Reescritura de términos y aplicaciones". En Giesl, J. (ed.). Reescritura de términos y aplicaciones, 16.ª conferencia internacional, RTA-05 . LNCS. Vol. 3467. Springer. págs. 376–393. ISBN. 978-3-540-25596-3.
• Dershowitz, N. y Castedo Ellerman, E. (2005). "Cuasiordenamientos más eficientes". En Giesl, J. (ed.). Term Rewriting and Applications, 16.ª conferencia internacional, RTA-05 . LNCS. Vol. 3467. Springer. págs. 32–45. ISBN. 978-3-540-25596-3.
• Dershowitz, Nachum 2005. Los cuatro hijos de Penrose , en Actas de la Undécima Conferencia sobre Lógica para Programación, Inteligencia Artificial y Razonamiento (LPAR; Jamaica) , G. Sutcliffe y A. Voronkov, eds., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlín, págs. 125–138.

Referencias

1. Discurso de entrega del premio Herbrand
2. Vita en Academia Europaea
3. Edward M. Reingold y Nachum Dershowitz. Calendrical Calculations . Cambridge University Press ; 4.ª edición (abril de 2018). ISBN 978-1-107-05762-3 
4. Revisión de cálculos calendáricos de EG Richards (1998), Nature 391 : 33–34, doi : 10.1038/34083.
5. Revisión de cálculos calendáricos de Robert Poole (1999), The British Journal for the History of Science 32 (1): 116–118, JSTOR  4027975.
6. Revisión de cálculos calendáricos de NM Swerdlow (1998), IEEE Annals of the History of Computing 20 (3): 78, doi :10.1109/MAHC.1998.707580.

Enlaces externos

• Página de inicio
• Vídeo "La tesis de Church-Turing", de Nachum Dershowitz en el Sexto Día de la Teoría de la Computación en Israel, 13 de marzo de 2013
• Nachum Dershowitz en el servidor de bibliografía DBLP
• Nachum Dershowitz en el Proyecto de Genealogía Matemática