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

  • 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’17 [Link]
    Organizing Committee Member
    Tel-Aviv University, Israel, 2017
  • Israeli Workshop on Non-Classical Logics and Their Applications, ISRALOG’14 [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