Students
-
- Dominik Kirst [Postdoc]
- Ariel Grunfeld [Ph.D.]
- Adham Jabarin [M.Sc.]
- Sapir Zafrani Elmaliah [M.Sc. -- graduated]
- Liel Leman [M.Sc. -- graduated]
- Gabriella Marce Chouraqui [M.Sc. -- graduated]
Grants
-
-
Extending and Applying Implemented Intuitionistic Mathematics , BSF, 2021--2025 [abstract]
- Recipient of the Pazy Memorial Research Award
-
Formalizing Coinduction via Closure Operators and Proof Cycles, ISF, 2021--2025 [abstract]
-
Real-time Risk Assessment in Machine-Learning-based Autonomous Systems , BGU Data Science Research Grant, 2022
-
Cyclic Reasoning Mechanisms for Interactive Theorem Proving, The Royal Society, 2021--2022
-
Real-time Robustness Proving in Machine Learning Models , BGU Data Science Research Grant, 2020
