Nissim Francez

Nissim Francez
נסים פרנסיז
Born (1944-01-19) 19 January 1944
Bulgaria
Alma materHebrew University
Weizmann Institute
Scientific career
FieldsComputer science
InstitutionsTechnion
Thesis The specification and verification of cyclic (sequential and concurrent) programs  (1976)
Doctoral advisorAmir Pnueli

Nissim Francez (Hebrew: נסים פרנסיז; born 19 January 1944 in Bulgaria) is an Israeli professor, emeritus in the computer science faculty at the Technion, and former head of computational linguistics laboratory in the faculty.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.