• Research seminar: Tel Aviv University research seminar on Programming Languages and Systems.
    Joint seminar with Ori Lahav and Sharon Shoham Buchbinder.
    Code: 0368-5332.
    Time: Semesters A Sunday, 14:00–16:00. Semesters B, Sunday, 13:00–15:00.
    Place: Check Point 380.

  • Undergraduate course: Compilation.
    Code: 0368-3133.
    Time: Semester A, Tuesday, 09:00–12:00.
    Place: Porter 013B (in the basement of Environmental Studies building).

  • Seminar: Seminar in Programming Languages .
    Topic: Symbolic Execution.
    Code: 0368-3088.
    Time: Semester A, Sunday, 9:00–11:00.
    Place: Shenkar Physics, 222.

  • Advanced course: Program Analysis and Verification .
    Code: 0368-4479
    Time: Semester B, Monday, 15:00–18:00.
    Place: Dan Daviv 303.