Education

• PhD Computer Science 1986. Stanford University. Dissertation: Non-clausal Logic Programming.
  
  
• MSc Computer Science 1983. Stanford University.
  
  
• MSc Electrical Engineering 1979. Technion. Thesis: Digital Processing of Aerial Photographs.
  
  
• BSc (Summa cum Laude) Electrical Engineering 1977. Technion.
  
  
• AEA/Stanford Executive Institute. Aug 1993. Stanford Graduate School of Business.