Scienceנסים פרנסיז

Nissim Francez

Nissim Francez is an Israeli computer scientist and professor emeritus at the Technion, known for work on program verification, fairness in concurrent systems and proof-theoretic semantics.

born 1944Fairness in concurrent systemsProgram verificationProof-theoretic semanticsComputational linguistics at the Technion

Born: 19 January 1944, Bulgaria
Occupation: computer scientist, mathematician, university teacher
Education: Hebrew University of Jerusalem, Weizmann Institute of Science, Weizmann Institute of Science

Nissim Francez was born in 1944 in Bulgaria

Nissim Francez was born in Bulgaria on 19 January 1944. His family moved to Israel in 1949 and settled in Kfar Saba.

He earned a bachelor's degree in mathematics and philosophy from the Hebrew University in 1965. After army service, he studied applied mathematics at the Weizmann Institute, finishing a master's degree in 1971 and a doctorate in 1976 under Amir Pnueli.

He worked at Queen's University Belfast and the University of Southern California before joining the Technion in 1978. He became a full professor in 1991, led the Computational Linguistics Laboratory and held the Bank Leumi chair from 2000. He also worked at IBM's research lab in Haifa and was a visiting scientist at several institutions abroad.

His research moved from program semantics and verification to computational linguistics and later to proof-theoretic semantics. He wrote the books Fairness and Program Verification, and Unification Grammars with Shuly Wintner.

He retired in 2010 as professor emeritus and continues his research. He lives in Nahariya, is married and has 3 children.