Ohad Kammar

Ohad Kammar is a researcher at the University of Edinburgh, actively contributing to programming language theory, denotational semantics, and algebraic effects. His work bridges theoretical foundations with practical implementations.

• Research Themes: Type-driven development, concurrency, probabilistic programming, normalization algorithms, and algebraic effects.
• Conference Involvement: Committee member in Diversity, Equity and Inclusion, Student Research Competition, and LAFI tracks at POPL; program committee roles in ICFP, APLAS, PEPM, and HOPE.
• Publications: Focus on denotational semantics, effect handlers, relaxed memory concurrency, and dependently-typed probabilistic models.