معرفی
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.
۰مقاله ثبتشده
