Yinnon Haviv

Yinnon Haviv - Yinnon Haviv completed his Ph.D. in Computer Science in 2006 (Distributed system, Fault tolerance, Self-Stabilization, Language semantics). Before joining the static analysis group at IBM/Watchfire, Yinnon was a key contributor in the research, design and implementation of impact analysis algorithms over large programs (>1M lines of code).