Skip to content (access key 's')
Logo of Technion
Logo of CS Department
General Information

News

Best Paper Award at the FMCAD21 to Yakir Vizel
Thursday, October 28, 2021
Best Paper Award at the FMCAD21 to Yakir Vizel 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]