Francez, Nissim
cs.technion.ac.ilThe Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.