Ohad Kammar

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 20132014 I worked with Peter Sewell on Semantic Foundations for RealWorld Systems, with close interaction with the participants of Rigorous Engineering for Mainstream Systems thanks to the Engineering and Physical Sciences Research Council.
During 20122013 I worked with Sam Staton on algebraic theories, computational effects, and concurrency, thanks to the Isaac Newton Trust.
During 20092013 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)
An algebraic theory of typeandeffect systems, Ph.D. thesis.
Algebraic Foundations for EffectDependent Optimisations, POPL’12.
On the Statistical Thermodynamics of Reversible Communicating Processes, CALCO’11, invited paper.
Talks (abstracts)
Graphical algebraic foundations for monad stacks, University of Edinburgh LFCS PLInG, 02 June, 2014.
Graphical algebraic foundations for monad stacks, University of Strathclyde MSP 101 seminar series, 28 May, 2014.
An algebraic theory of type and effect systems, University of Cambridge Computer Laboratory Logic and Semantics Seminar, 13 December, 2013.
An algebraic theory of type and effect systems, MIT Programming Languages Seminar, 30 September, 2013.
A general theory of typeandeffect systems via universal algebra, Journées d’Informatique Fondamentale de Paris Diderot, 25 April, 2013.
An introduction to Programming Language Semantics, 1st join category theory and computer science seminar, University of Cambridge, 18 November, 2012.
Handlers in Action, 1st ACM SIGPLAN Workshop on HigherOrder Programming with Effects (HOPE’12), 09 September, 2012.
Handlers in Action, Scottish Programming Lanugage Seminar (SPLS), 15 March, 2012.
Algebraic Foundations for EffectDependent Optimisations, Principles of Programing Seminar (POP), 30 January, 2012.
Algebraic Foundations for EffectDependent Optimisations, 39th Symposium on Principles of Programming Languages (POPL’12), 26 January, 2012.
Algebraic Foundations for EffectDependent Optimisations, Functional Programming Lab Seminar, 11 January, 2012.
Programming Language Semantics: {Ret  Int  P}rospective Discussion, LFCS Lab Lunch, 20 September, 2011.
Algebraic Foundations for Type and Effect Analysis, European Workshop on Computational Effects, 18 March, 2011.
Take Action for Your State!, joint Scottish Programming Lanugage Seminar (SPLS) and Fun in the Afternoon, 24 November, 2010.
A well kept secret…, LFCS Lab Lunch, 19 January, 2010.
Reports (abstracts)
 Algebraic Aproaches to Semantics, Research Proposal, 24 February, 2010.
Upcoming gigs
Graphical algebraic foundations for monad stacks, 3rd ACM SIGPLAN Workshop on HigherOrder Programming with Effects (HOPE’14), 31 August, 2014.
A universal characterisation of locally determined omegacolimits, Domains XI Workshop, 09 September, 2014.
Community service
2014
 PC member, 3rd ACM SIGPLAN Workshop on HigherOrder Programming with Effects (HOPE’14).
2013
Liberated Robin Gandy’s thesis On Axiomatic Systems in Mathematics and Theories in Physics from the trees.
This deed was made possible with the kind help of Martin Hyland, the eager consent of the copyright holder, the literary executor Mike Yates, and the generous financial support of Barry Cooper.Coorganised the Haskell Symposium’s ``Future of effects in Haskell’’ panel with Sam Lindley.
Coorganised the Agda Course in Cambridge with Dr. Dominic Orchard.
Liberated algebra valued functors in general and tensor products in particular by Prof. Peter Freyd from the trees.
I was unable to obtain Prof. Freyd’s permission to put this scan up, but the book that included it did not contain any copyright notice. If you know I am infringing on his copyright, please let me know.
2011
 Liberated Algebraic Theories (1969) by Prof. Gavin Wraith from the trees.
With the kind permission of Prof. Wraith, this scan of his Aarhus University Lecture Notes can be freely circulated. A 2upped verion.  Organised the SICSA Agda Course by Conor McBride.
Media presence
 Interviewed for the Edinbugh University Informatics School CompuCast PodCast “Semantics, Semantics, Semantics”, November 2012.