Nissim Francez (hebreo: נסים פרנסיז; nacido: 19 de enero de 1944) es un profesor emérito israelí en la Facultad de Ciencias de la Computación del Technion y ex director del Laboratorio de Lingüística Computacional de la facultad. [ cita requerida ]
Nissim Francez Profesor emérito | |
---|---|
Nació | |
Nacionalidad | israelí |
alma mater | Instituto Weizmann de la Universidad Hebrea |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Technion |
Tesis | La especificación y verificación de programas cíclicos (secuenciales y concurrentes) (1976) |
Asesor de doctorado | Amir Pnueli |
Temprana edad y educación
Nissim Francez nació en Bulgaria . Su familia emigró a Israel en 1949. Recibió su B.Sc. en Matemáticas y Filosofía de la Universidad Hebrea , Jerusalem en 1965. Después de su servicio militar en el ejército israelí , estudió en el Departamento de Matemáticas Aplicadas en el Instituto Weizmann , Rehovot , y recibió su M.Sc. en 1971.
Continuó sus estudios allí y recibió su Ph.D. Licenciado en 1976. Francez bajo la supervisión del Prof. Amir Pnueli . [1]
Carrera profesional
Francez fue investigador asociado en la Queen's University de Belfast , Irlanda del Norte en 1976. Un año más tarde se incorporó 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 del Technion, Haifa . Un año más tarde fue ascendido a profesor titular y en 1984 a profesor asociado. En 1991 se convirtió en profesor titular en la Facultad de Informática del Technion, y en 1996-2006 fue director 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. [1]
En sus sabáticos y vacaciones de verano, Francez ha sido investigador asociado en Aiken Computation Lab. en la Universidad de Harvard en los veranos de 1981 y 1982. También fue científico visitante en Abo Academy, Turku, Finlandia (1988) y en el Departamento de Ciencias de la Computación de la Universidad de Utrecht , Países Bajos (1992). Francez fue profesor visitante honorario en el Departamento de CS, Universidad de Manchester (1996-1997), y visitante académico sénior en HCRC, Departamento de Informática , Universidad de Edimburgo (2002) [2] y en la Escuela de Ciencias de la Computación, St Andrews Universidad (2007). [1]
Trabajo profesional
Francez trabajaba en IBM Scientific Center, Haifa en 1981-1982, y un año después en IBM-TJWatson Research Center, Yorktown Heights , NY , Estados Unidos como científico visitante. En 1983-85 estuvo trabajando en el diseño e implementación de un entorno de programación Prolog en IBM Scientific Center, Haifa. Fue científico invitado en Microelectronics and Computer Technology Corporation (MCC), Austin , TX, EE. UU. En los veranos de 1986 y 1987 y 1989-1990. En 1997 fue científico invitado en Centrum Wiskunde & Informatica (CWI), Amsterdam . [1]
Investigar
La investigación actual de Francez se centra en la semántica de la teoría de la prueba para la lógica y el lenguaje natural . [ cita requerida ]
También ha realizado trabajos en semántica formal del lenguaje natural, gramática tipo lógica, lingüística computacional , formalismos gramaticales basados en unificación (LFG, HPSG). En el pasado que estaba interesado en la semántica de los lenguajes de programación, verificación de programas , concurrente y programación distribuida y la programación lógica . [3]
Membresía en sociedades profesionales
Francez fue miembro de las siguientes asociaciones: Association for Computing Machinery ( SIGPLAN ), IEEE Computer Society , Association for Computational Linguistics (ACL), Association for Logic Programming , International Association for Logic, Language and Information (FoLLI), European Association for Theoretical Ciencias de la Computación (EATCS), asociación israelí de lingüística teórica (IATL). [1]
También fue editor invitado (con Ian Pratt-Hartmann) de un número especial de Studia Logica Logic and Natural Language, 2012. [4]
Bibliografía seleccionada
Libros
- Francez, Nissim (1992). Verificación del programa . Compañía editorial de Addison-Wesley. ISBN 978-0-201-41608-4.
- Francez, Nissim; Forman, Ira R. (1996). Procesos interactivos: un enfoque de múltiples partes para la programación distribuida coordinada . Addison-Wesley. ISBN 978-0-201-56528-7.
- Francez, Nissim; Wintner, Shuly (2011). Gramáticas de unificación . Prensa de la Universidad de Cambridge. ISBN 978-1-139-50357-0.
- Francez, Nissim (2012). Equidad . Springer Science & Business Media. ISBN 978-1-4612-4886-6.
- Francez, Nissim (2015). Semántica de la teoría de la prueba . Publicaciones universitarias. ISBN 978-1-84890-183-4.
Artículos
- Francez, Nissim; Pnueli, Amir (1 de junio de 1978). "Un método de prueba para programas cíclicos". Acta Informatica . 9 (2): 133-157. doi : 10.1007 / BF00289074 . ISSN 1432-0525 . S2CID 40233148 .
- Grumberg, Orna; Francez, Nissim; Makowsky, Johann A .; de Roever, Willem P. (1 de julio de 1985). "Una regla de prueba para la terminación justa de los comandos protegidos" . Información y control . 66 (1): 83–102. doi : 10.1016 / S0019-9958 (85) 80014-0 . ISSN 0019-9958 .
- Zamansky, Anna; Francez, Nissim; Winter, Yoad (1 de octubre de 2006). "Un sistema de inferencia de 'lógica natural' utilizando el cálculo de Lambek". Revista de Lógica, Lenguaje e Información . 15 (3): 273–295. doi : 10.1007 / s10849-006-9018-x . ISSN 1572-9583 . S2CID 8396885 .
- Francez, Nissim (1 de junio de 2014). "Bilateralismo en semántica de prueba-teórica". Revista de lógica filosófica . 43 (2): 239-259. doi : 10.1007 / s10992-012-9261-3 . ISSN 1573-0433 . S2CID 20855471 .
- Francez, Nissim (31 de enero de 2019). "Lógica de conexión relevante" . Lógica y Filosofía Lógica . 28 (3): 409–425. doi : 10.12775 / LLP.2019.007 . ISSN 2300-9802 .
enlaces externos
- Nissim Francez , académico de Google
- Nissim Francez en el Proyecto de genealogía matemática
- Nissim Francez , en el servidor de bibliografía DBLP
Referencias
- ^ a b c d e RESUMEN: Prof. Emérito NISSIM FRANCEZ (PDF) , Technion, 2019
- ^ Nissim Francez , Universidad de Edimburgo
- ^ Prof. Nissim Francez , Technion
- ^ Francez, Nissim; Pratt-Hartmann, Ian (2012), "Prefacio de los editores" (PDF) , Studia Logica , Springer Publishing , 100 (4): 663–665, doi : 10.1007 / s11225-012-9423-x , S2CID 21131600