PeopleofSuperintelligence

Researcher

Nissim Francez

Also known as נסים פרנסיז

Nissim Francez is a computer scientist whose computational-linguistics work uses formal methods to represent natural-language grammar and meaning. He earned degrees in mathematics and philosophy at the Hebrew University and graduate degrees at the Weizmann Institute, then wrote about fairness in concurrent programs. At Technion, he became a professor, led the Computational Linguistics Laboratory and held the Bank Leumi Chair; his work includes a typed-feature-structure machine, Unification Grammars and books on proof-theoretic and connexive logic. He is an emeritus faculty member at Technion.

Now at
Technion
Born
1944
Works
250
Citations
4,126
h-index
33
Badges

Years link to their sources. Publication numbers from OpenAlex, as of 22 October 2026.

Timeline

  1. 1965

    Mathematics and philosophy

    He earns a B.Sc. in mathematics and philosophy at the Hebrew University in 1965.

  2. 1971–1976

    Graduate degrees at Weizmann

    At Weizmann's Department of Applied Mathematics, he earns an M.Sc. in 1971 and a Ph.D. in 1976 under adviser Amir Pnueli.

  3. 1986

    Fairness in concurrent programs

    He publishes Fairness in 1986, a monograph that develops ways to reason about fairness in concurrent systems, scheduling, liveness and nondeterminism in distributed programs.

  4. 1991

    Professor at Technion

    He becomes a full professor in the Computer Science Faculty at Technion in 1991.

  5. 1994

    Abstract Machine for Typed Feature Structures

    With Shuly Wintner, he describes an abstract machine for linguistic formalisms based on typed feature structures such as HPSG. The 1994 paper gives these formalisms operational semantics and implements unification.

  6. 1996–2010

    Lab head and Bank Leumi Chair

    He heads Technion's Computational Linguistics Laboratory from 1996 to 2006. He holds the Bank Leumi Chair in Computer Science from 2000 to 2010 and retires from Technion as a professor emeritus in 2010.

  7. 2010–2021

    Proof-Theoretic Semantics and Unification Grammars

    In 2010, Francez and Roy Dyckhoff publish “Proof-Theoretic Semantics for a Natural Language Fragment”. With Shuly Wintner, he writes Unification Grammars, a mathematical account of grammar formalisms underlying Lexical-Functional Grammar and Head-Driven Phrase Structure Grammar. He publishes Proof-Theoretic Semantics in 2015, a monograph on meaning in logic and natural language, and A View of Connexive Logics in June 2021, a monograph on non-classical logics.

  8. As of October 2026

    Emeritus faculty at Technion

    As of October 2026, he is an emeritus faculty member in Technion computer science.

Career

  1. Since 1991TechnionFull professor, Head
  2. 1982–1985IBM

Education

  1. 1976Weizmann Institute of SciencePh.D.
  2. 1971Weizmann Institute of ScienceM.Sc.
  3. 1965Hebrew University of JerusalemB.Sc. in mathematics and philosophy

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. Finite-memory automata1994 · Theoretical Computer Science · 373 citations
  2. A Proof System for Communicating Sequential Processes1980 · ACM Transactions on Programming Languages and Systems · 322 citations
  3. Fairness1986 · Springer eBooks · 303 citations
  4. Distributed Termination1980 · ACM Transactions on Programming Languages and Systems · 239 citations
  5. Decomposition of distributed programs into communication-closed layers1982 · Science of Computer Programming · 211 citations

From OpenAlex, as of 21 October 2026.

  1. Universities keep AI researchers for a median of 6 years, compared with 2 years at frontier labsIncludes Technion. Across 15,811 dated work stays (6,529 people), median role tenure runs from 6 years at universities to 2 years at frontier labs. We compare all five organization types, starting decades from the 1970s to the 2020s, and the organizations that keep people longest.
  2. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other universityIncludes Technion. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other university. We compare doctorate and 5+ year employment links, career timing and current workplaces for 187 major-prize and 1,111 best-paper winners.
  3. 41% of people who worked abroad later worked in their country of birth among people with a recorded birth country and dated work historyIncludes Technion. Of 991 people with a recorded birth country who worked outside it, 410 (41%) later held a work position at home, led by the United States at 69%.
  4. The United States employs an estimated 48% of people shaping AIIncludes Technion. We estimate where the people shaping AI work today, how universities, companies and research institutes split across countries, and how country shares have changed since the 1960s.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Nissim Francez yet. Send us a free-licensed photo.

  1. Nissim Francez - Wikipedia en.wikipedia.org. Checked 20 October 2026.
  2. Abstract Machine for Typed Feature Structures arxiv.org. Checked 20 October 2026.
  3. Proof-Theoretic Semantics for a Natural Language Fragment - University of St Andrews Research Portal research-portal.st-andrews.ac.uk. Checked 20 October 2026.
  4. Unification Grammars cambridge.org. Checked 20 October 2026.
  5. Proof-theoretic Semantics collegepublications.co.uk. Checked 20 October 2026.
  6. A View of Connexive Logics collegepublications.co.uk. Checked 20 October 2026.
  7. Phone Directory | The Taub Faculty of Computer Science, Technion cs.technion.ac.il. Checked 20 October 2026.