Accept
Decline

Alexander Ivrii

Alexander Ivrii is a researcher at the IBM Haifa Research Lab. Since joining IBM in 2007, he has worked on formal verification of hardware, SAT-solving and model-checking. Alexander holds a PhD in mathematics from Stanford University and has held two postdoctoral positions in mathematics at the Centre de Recherches Mathematiques and the Technion Institute of Technology. Alexander has coauthored 25 peer-reviewed publications and is a co-inventor of 14 patents.

Portraitfoto von Alexander Ivrii

We recommend

PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

ISBN: 978-3-85448-042-6
Added to cart.
Accept
Decline