Teachings

  • Ben-Gurion University
    • Mathematical Applications in Computer Science (2020B, 2023B)
    • Formal Methods Seminar (2020, 2022)
    • Software foundations using the Coq proof assistant (2020A)
    • Logical foundations using the Coq proof assistant (2019B, 2021A, 2023B)
    • Introduction to computer science (2019A)
  • Tel Aviv University
    • Discrete mathematics
    • Logic for computer science (TA)
    • Introduction to discrete mathematics
    • Differential and integral calculus
    • Mathematics for economists: course B
  • Tel Aviv-Yaffo Academic College
    • Introduction to logic and set theory
    • Discrete mathematics