Nissim Francez
Nissim Francez | |
|---|---|
נסים פרנסיז | |
| Born | 19 January 1944 |
| Nationality | Israeli |
| Alma mater | Hebrew University Weizmann Institute |
| Scientific career | |
| Fields | Computer science |
| Institutions | Technion |
| Thesis | The specification and verification of cyclic (sequential and concurrent) programs (1976) |
| Doctoral advisor | Amir Pnueli |
Nissim Francez (Hebrew: נסים פרנסיז; born 19 January 1944) is an Israeli professor, emeritus in the computer science faculty at the Technion, and former head of computational linguistics laboratory in the faculty.