News
The Taub Faculty of Computer Science News and Announcements
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![Back to the news index]
