Nissim Francez
Israeli computer science professor (born 1944) / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Nissim Francez?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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]
![]() |
Quick Facts Born, Nationality ...
Nissim Francez | |
---|---|
Born | (1944-01-19) 19 January 1944 (age 80) |
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 |
Close