Alexander Ivrii  Alexander Ivrii photo         

contact information

Researcher in Quantum and Formal Verification
Haifa
  

links


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