 |
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.[1]
- ^ "Nissim Francez's Home Page". www.cs.technion.ac.il. Retrieved 18 September 2021.