Nissim Francez (hebreo: נסים פרנסיז; nacido: 19 de enero de 1944) es un profesor israelí, emérito de la facultad de informática del Technion y exjefe del laboratorio de lingüística computacional de la facultad. [1]
Nissim Francez nació en Bulgaria . Su familia emigró a Israel en 1949. Recibió su licenciatura en matemáticas y filosofía de la Universidad Hebrea de Jerusalén en 1965. Después de su servicio militar en las Fuerzas de Defensa de Israel , estudió en el Departamento de Matemáticas Aplicadas del Instituto Weizmann de Rehovot y recibió su maestría en 1971.
Continuó sus estudios allí y recibió su doctorado en 1976. Francez bajo la supervisión del profesor Amir Pnueli . [2]
Francez fue investigador asociado en la Queen's University de Belfast , Irlanda del Norte en 1976. Un año más tarde se unió al Departamento de Ciencias de la Computación de la Universidad del Sur de California (USC), como profesor asistente.
En 1978 regresó a Israel como profesor en el Departamento de Ciencias de la Computación en el Technion, Haifa . Un año después fue ascendido a profesor titular, y en 1984 a profesor asociado. En 1991 se convirtió en profesor titular en la Facultad de Ciencias de la Computación en el Technion, y en 1996-2006 fue el jefe del Laboratorio de Lingüística Computacional de la facultad. Francez ocupó la cátedra Bank Leumi en Ciencias de la Computación en la facultad desde 2000 hasta 2010, cuando se retiró del Technion como profesor emérito. [2]
En sus sabáticos y licencias de verano, Francez ha sido investigador asociado en el Laboratorio de Computación de Aiken en la Universidad de Harvard en los veranos de 1981 y 1982. También fue científico visitante en la Academia Abo, Turku, Finlandia (1988) y en el Departamento de Ciencias de la Computación, Universidad de Utrecht , Países Bajos (1992). Francez fue Profesor Visitante Honorario en el Departamento de Ciencias de la Computación, Universidad de Manchester (1996-1997), y Visitante Académico Senior en HCRC, Departamento de Informática , Universidad de Edimburgo (2002) [3] y en la Escuela de Ciencias de la Computación, Universidad de St Andrews (2007). [2]
Francez trabajó en el IBM Scientific Center, Haifa, entre 1981 y 1982, y un año después en el IBM-TJWatson Research Center, Yorktown Heights, Nueva York , Estados Unidos, como científico visitante. Entre 1983 y 1985 trabajó en el diseño e implementación de un entorno de programación Prolog en el IBM Scientific Center, Haifa. Fue científico visitante en Microelectronics and Computer Technology Corporation (MCC), Austin, Texas , EE. UU., en los veranos de 1986 y 1987 y 1989-1990. En 1997 fue científico visitante en Centrum Wiskunde & Informatica (CWI), Ámsterdam . [2]
La investigación actual de Francez se centra en la semántica de teoría de pruebas para la lógica y el lenguaje natural . [1]
También ha realizado trabajos en semántica formal del lenguaje natural, gramática tipológica, lingüística computacional , formalismos gramaticales basados en unificación (LFG, HPSG). En el pasado se interesó en la semántica de los lenguajes de programación, la verificación de programas , la programación concurrente y distribuida y la programación lógica . [4]
Francez fue miembro de las siguientes asociaciones: Association for Computing Machinery ( SIGPLAN ), IEEE Computer Society , Association for Computational Linguistics (ACL), Association for Logic Programming , Asociación Internacional de Lógica, Lenguaje e Información (FoLLI), Asociación Europea de Ciencias de la Computación Teórica (EATCS), Asociación Israelí de Lingüística Teórica (IATL). [2]
También fue editor invitado (junto con Ian Pratt-Hartmann) de un número especial de Studia Logica Logic and Natural Language, 2012. [5]