Yoni Zohar
- Publications
-
- Tools
-
- People
-
- Teaching
-
- Programming Languages
(2022-2023,
2023-2024,
2024-2025,
2025-2026)
- Automated Reasoning and
Applications
(2021-2022,
2022-2023,
2023-2024,
2024-2025,
2025-2026)
- Seminar in Verification of
Smart Contracts
(2021-2022,
2022-2023,
2023-2024,
2024-2025,
2025-2026)
- Infinitesimal Math
(2026-2027)