- Home
- Computer
- Computer Science
- Francez, Nissim
Computer · Computer Science
Francez, Nissim
Listed in the directory · updated 21 Jul 2022
About Francez, Nissim
Francez, Nissim- The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.