In 1987 , he co-founded the software company I - Logix , which in 2006 became part of IBM .
Harel completed his PhD at MIT between 1976 and 1978 .
In 1987 , Harel co-founded the software company I - Logix , which in 2006 became part of IBM .
Harel completed his PhD at MIT between 1976 and 1978 .