Alexander Ivrii  Alexander Ivrii photo       

contact information

Sat Solving and Hardware Verification
Haifa
  +972dash828dash1092

links


profile


I am a member of the Formal Verification group at IBM Haifa - Research.

Education:

  • (1995-1998) BSc in Mathematics, University of Toronto
  • (1998-2003) PhD in Mathematics, Stanford University
  • (2003-2006) Postdoc in CRM
  • (2006-2007) Postdoc in Technion