Zohar Manna

Photo: 
Title: 
Professor of Computer Science
Research Focus: 
formal verification