Prizes
- 24 results
Search results
-
-
-
-
Cited as one of “5 Scientists At The Forefront Of Computing And AI” by Ezvid Wiki
Sipper, M. (Recipient), 2021
Prize: Other distinction
-
Cyclic Reasoning Mechanisms for Interactive Theorem Proving
Cohen, L. (Recipient) & Popescu, R. A. (Recipient), 2021
Prize
-
-
-
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, L. (Recipient) & Constable, R. L. (Recipient), 2021
Prize
-
-
-
-
-
-
-
-
-
Keynote Speaker: 11th International Conference on Adaptive and Natural Computing Algorithms, Switzerland, 2013
Sipper, M. (Recipient), 2013
Prize: Other distinction
-
Keynote Speaker: 5th International Workshop on Information Processing in Cells and Tissues, Switzerland, 2003
Sipper, M. (Recipient), 2003
Prize: Other distinction
-
Keynote Speaker: 7th International Conference on Cellular Automata for Research and Industry, France, 2006
Sipper, M. (Recipient), 2006
Prize: Other distinction
-
Outstanding Researcher Award, Faculty of Natural Sciences, Ben-Gurion University
Sipper, M. (Recipient), 2011
Prize
-
Real-time Robustness Proving in Machine Learning Models
Cohen, L. (Recipient) & Einziger, G. (Recipient), 2020
Prize
-
-
-