Nissim Francez is a Professor Emeritus of Computer Science at the Technion - Israel Institute of Technology. His research in the last twenty years focused on computational linguistics in general and on the formal semantics of natural language in particular, mainly in the framework of type-logical grammar. His most recent research topic is proof-theoretic semantics for natural language. He is the author of several books and about 150 scientific articles. He regularly serves on editorial boards and program committees for several major conferences, including the committee of the Beth FoLLI (Assoc...