4profile
I am a member of the Formal Verification group at IBM Haifa - Research.
Education:
- (1995-1998) BSc in Mathematics, University of Toronto
BSc in Computer Science, University of Toronto - (1998-2003) PhD in Mathematics, Stanford University
- (2003-2006) Postdoc in CRM
- (2006-2007) Postdoc in Technion