Liron Cohen – Prizes — Ben-Gurion University Research Portal

View Scopus Profile

Emailclironbgu.acil

Research activity per year

If you made any changes in Pure these will be visible here soon.

5 results
- Title(descending)
- Award date

Cyclic Reasoning Mechanisms for Interactive Theorem Proving
Cohen, Liron (Recipient) & Popescu, Razvan Andrei (Recipient), 2021
Prize
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, Liron (Recipient) & Constable, Robert L. (Recipient), 2021
Prize
Formalizing Coinduction via Closure Operators and Proof Cycles
Cohen, Liron (Recipient), 2021
Prize
Real-time Robustness Proving in Machine Learning Models
Cohen, Liron (Recipient) & Einziger, Gil (Recipient), 2020
Prize
The Pazy Memorial Research Award
Cohen, Liron (Recipient) & Constable, Robert L. (Recipient), 2021
Prize