Computer Laboratory

Ohad Kammar

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


Research Interests

Category theory, logic, algebra, programming language semantics, computational effects, concurrency, event structures, relaxed behaviour, access control, and effect type systems.

Current project

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

Past projects

During 2013-2014 I worked with Peter Sewell on Semantic Foundations for Real-World Systems, with close interaction with the participants of Rigorous Engineering for Mainstream Systems thanks to the Engineering and Physical Sciences Research Council.

During 2012-2013 I worked with Sam Staton on algebraic theories, computational effects, and concurrency, thanks to the Isaac Newton Trust.

During 2009-2013 I worked with Gordon D. Plotkin on my PhD thesis an algebraic theory of type and effect systems, thanks to the Scottish Informatics and Computer Science Alliance and the University of Edinburgh Informatics Graduate School.

Part III/MPhil project suggestsions

Part II project suggestsions

Publications (abstracts)

Talks (abstracts)

Reports (abstracts)

Upcoming gigs

Community service




Media presence