Teachings

TelAviv 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 AvivYaffo Academic College:
 Introduction to logic and set theory (Lecturer, TA)
 Discrete mathematics (Lecturer, TA)
Academic Activities

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 NonClassical Logics and Their Applications (ISRALOG) [Link]
Organizing Committee Member
TelAviv University, Israel, 2017

Israeli Workshop on NonClassical Logics and Their Applications (ISRALOG) [Link]
Organizing Committee Member
University of Haifa, Israel, 2014

Women in Computer Science Conference
Organizing Committee Member
TelAviv, Israel, 2013

Logic: Between Semantics and Proof Theory workshop [Link]
Organizing Committee Member
TelAviv, Israel, 2012

Alan M. Turing Centennial Conference [Link]
Organizing Committee Member
Israel, 2012