Computer Laboratory

Ohad Kammar


Programming, Logic, and Semantics Group
FS15
Computer Laboratory
University of Cambridge
15 JJ Thomson Avenue
Cambridge CB3 0FD
Tel: +44 (0)122 376 3639
Post: first name . family name @cl.cam.ac.uk


To schedule an appointment, confer my calendar.

Research Interests

  • Foundations of mathematics
    • Category theory
    • Logic
    • Universal algebra
  • Programming language theory
    • Semantics, in particular denotational semantics
    • Computational effects
      • Effect type systems
      • Effect handlers
    • Concurrency
      • Event structures
      • Relaxed behaviour
    • Access control
  • Conceptual biology
    • Coevolution
    • Drift
profile

Current project

I am currently working with Glynn Winskel on Events, Causality and Symmetry — the next generation semantics thanks to the European Research Council.

I am also involved with Ehud Lamm’s Conceptual Biology Lab.

Past projects

Teaching (Part III/Mphil projects, Part II projects, Courses)

Publications (abstracts)

Talks (abstracts)

Reports (abstracts)

Upcoming gigs

Community service

2014

2013

2011

Media presence