Yotam Dvir

Postdoctoral Researcher

Tel Aviv University, Tel Aviv, Israel

PI

Ori Lahav

exp. Ph.D. in Computer Science

thesis defended, awaiting finalization

Tel Aviv University, Tel Aviv, Israel

Advisors

Ohad Kammar and Ori Lahav

Thesis

Monadic and Algebraic Denotational Semantics for Concurrent Shared State

Field

programming languages & verification | structural semantics for concurrency

Publications

FoSSaCS, 2025; TOPLAS, 2025; ESOP, 2024; APLAS, 2022

Distinctions

Boaz Trakhtenbrot award, 2023; dean’s excellence schol., 2022, 2019

M.Sc. in Theoretical Mathematics magna cum laude

Tel Aviv University, Tel Aviv, Israel

Advisor

Arnon Avron

Thesis

Existential Info. Processing & Quasi-Canonical Proof Systems in Pred. Logic

Field

formal logical systems | paraconsistency

Publications

TABLEAUX, 2019

Distinctions

honor’s schol., 2016

B.Sc. in Mathematics (major) and Physics (minor)

Tel Aviv University, Tel Aviv, Israel

Two-sorted Algebraic Decompositions of Brookes’s Shared-State Denotational Semantics

Yotam Dvir, Ohad Kammar, Ori Lahav, and Gordon Plotkin

FoSSaCS

A Brookes-Style Denotational Semantics for Release/Acquire Concurrency

Yotam Dvir, Ohad Kammar, and Ori Lahav

TOPLAS

A Denotational Approach to Release/Acquire Concurrency

Yotam Dvir, Ohad Kammar, and Ori Lahav

ESOP

An Algebraic Theory for Shared-State Concurrency

Yotam Dvir, Ohad Kammar, and Ori Lahav

APLAS

Awarded the Boaz Trakhtenbrot Centennial Scholarship

First-Order Quasi-Canonical Proof Systems

Yotam Dvir and Arnon Avron

TABLEAUX

A Denotational Approach to Release/Acquire Concurrency

Paper, Talk, Poster, ESOP @ ETAPS, University of Luxembourg

A Denotational Approach to Release/Acquire Concurrency

Talk, GALOP @ POPL, IET London

An Algebraic Theory for Shared-State Concurrency

Paper, Talk, APLAS @ SPLASH, University of Auckland

A Monad for Shared State

Talk, HOPE @ ICFP, Online

First-Order Quasi-Canonical Proof Systems

Paper, Talk, TABLEAUX, Middlesex University

A Framework for Information Processing

Talk, ISRALOG, University of Haifa

The Boaz Trakhtenbrot Centennial Scholarship (with personal monetary prize)

Awarded for the APLAS, 2022 publication

One of two students to whom this one-time celebratory scholarship was awarded

Dean’s Excellence Scholarship

Awarded twice, for excellent scholarly performance

Teaching Assistant Excellence Grant (with personal monetary prize)

For consistently outstanding performance, and excellent student reviews and testimonials

Honors Scholarship

Stipulated on consistently excellent grades in the 1^st year of M.Sc. studies

Tartu, Estonia

Invited by Vesal Vojdani and Danel Ahman to consult on Brookes-style semantics

Gave a talk about my Ph.D. work at their programming languages research seminar

Cambridge, England

Invited by Peter Sewell to the Big Specification event

Collaborated with Sewell’s group on Arm’s relaxed concurrent memory model

Cambridge, England

Gave my GALOP @ POPL talk at the Computer Laboratory’s lunchtime seminar

Edinburgh, Scotland

A meeting with Gordon Plotkin led to the FoSSaCS 2025 paper

Teaching Assistant, Maths and CS

Tel Aviv University

Duties

• prepare and present weekly tutorials in classes of 5–40 students to rehearse and complete definitions and theorems, provide intuitions, and solve exercises
• help struggling students in office hours
• grade exercises and examinations
• assist in course design

• Foundations of Programming Languages (in Rocq)

  For graduate and advanced undergraduate students

  About foundational concepts in programming languages using the Rocq proof assistant

• Logic for Computer Science

  For 2^nd and 3^rd year undergraduates

  About the syntax and semantics of propositional and first-order classical logic

• Discrete Mathematics

  Principal tutor, responsible for the smooth operation of this ~250-student course.

  For 1^st year undergraduates

  About basic set theory, cardinality, combinatorics, and graph theory

• Calculus 1 (part of “Sawa” – the Kahanoff Arab Student Retention Initiative)

  For 1^st year undergraduates from the Arab sector

  About real functions, infinite sequences, and limits

• Mathematics Preparation Course

  For pre-enrollment students

  Prepares students for their entrance exam and 1^st year of undergraduate mathematics

Teaching Assistant, Physics

The Yoel-Geva School

Duties

help prepare external students for their matriculation exams (~30-student tutorials)

Online Tutor, Physics

The Center for Educational Technology

Duties

help high-school students towards their matriculation exams (~3-student groups)