Teachings

  • Tel-Aviv University:
    • Logic for computer science (TA)
    • Discrete mathematics (Lecturer, TA)
    • Introduction to discrete mathematics (Lecturer)
    • Differential and integral calculus (Lecturer)
    • Mathematics for economists: course B (Lecturer)
  • Tel Aviv-Yaffo Academic College:
    • Introduction to logic and set theory (Lecturer, TA)
    • Discrete mathematics (Lecturer, TA)

Academic Activities

  • International Conference on Certified Programs and Proofs (CPP) [Link]
    Program Committee Member
    New Orleans, Louisiana, USA, 2020
  • The Association for Symbolic Logic annual meeting
    Program Committee Member
    Irvine, California, USA, 2020
  • The Global Conference on Artificial Intelligence (GCAI) [Link]
    Program Committee Member
    Luxembourg City, Luxembourg, 2018
  • AMS Special Session on Homotopy Type Theory, Joint Mathematics Meetings (JMM) [Link]
    Organizing Committee Member
    San Diego, USA, 2018
  • Israeli Workshop on Non-Classical Logics and Their Applications (ISRALOG) [Link]
    Organizing Committee Member
    Tel-Aviv University, Israel, 2017
  • Israeli Workshop on Non-Classical Logics and Their Applications (ISRALOG) [Link]
    Organizing Committee Member
    University of Haifa, Israel, 2014
  • Women in Computer Science Conference
    Organizing Committee Member
    Tel-Aviv, Israel, 2013
  • Logic: Between Semantics and Proof Theory workshop [Link]
    Organizing Committee Member
    Tel-Aviv, Israel, 2012
  • Alan M. Turing Centennial Conference [Link]
    Organizing Committee Member
    Israel, 2012