[Back to the news index]
Thursday, October 28, 2021
Congratulations to Prof. Yakir Vizel on winning the Best Paper Award at the FMCAD21 conference for his paper
IC3 with Internal Signals (together with Prof. Arie Gurfinkel of Waterloo University and with Dr. Alexander Ivrii and Dr. Rohit Dureja of IBM), which deals with the algorithm for automatic validation of electrical circuits.
Well done Yakir!