Alexander Ivrii

Since  June 2021, I am a member of the Quantum Computing team and a contributor to Qiskit open-source.

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