After his military service in the IDF, he studied at the Department of Applied Mathematics at the Weizmann Institute, Rehovot, and received his M.sc.
A year later he joined the Computer Science Department of the University of Southern California (USC), as an assistant professor.
Francez held the Bank Leumi chair in Computer Science in the faculty from 2000 until 2010, when he retired from the Technion as professor emeritus.
He was also a visiting scientist at Abo Academy, Turku, Finland (1988) and at the Department of Computer Science, University of Utrecht, The Netherlands (1992).
[2] He was also a Guest Editor (with Ian Pratt-Hartmann) of a special issue of Studia Logica Logic and Natural Language, 2012.