profile
Since June 2021, I am a member of the Quantum Computing team and a contributor to Qiskit open-sourse.
Previously to that, I was a member of the Formal Verification team and worked on Hardware Model Checking and SAT-solving.
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