Ohad Kammar

Ohad Kammar is a Reader in Programming Languages at The University of Edinburgh, Department of Computer Science. His research focuses on programming languages and their applications. Kammar's work contributes to the understanding of language design and implementation. He is affiliated with the university and maintains a professional website for further information.

Ohad Kammar is a researcher at the University of Edinburgh School of Informatics, specializing in programming languages. His work focuses on the semantics of probabilistic programming, higher-order functions, and effect systems. Kammar's research explores the theoretical foundations of programming languages, including denotational semantics, algebraic structures, and type-and-effect systems. His publications address challenges in probabilistic programming, such as handling higher-order functions, continuous distributions, and soft constraints. He also investigates concurrency models, including release/acquire semantics and quasi-Borel spaces. His contributions emphasize the intersection of logic, category theory, and programming language design.