Ohad Kammar
|
 |
Current project
I am currently working with Sam Staton on algebraic theories, computational effects, and concurrency, thanks to the Isaac Newton Trust.
Research Interests
Category theory, logic, algebra, programming language semantics, computational effects, concurrency, access control, and effect type systems.
Publications, talks, etc. (abstracts)
A general theory of type-and-effect 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 Higher-Order Programming with Effects (HOPE’12), 09 September, 2012.
Handlers in Action, Scottish Programming Lanugage Seminar (SPLS), 15 March, 2012.
Algebraic Foundations for Effect-Dependent Optimisations, Principles of Programing Seminar (POP), 30 January, 2012.
Algebraic Foundations for Effect-Dependent Optimisations, 39th Symposium on Principles of Programming Languages (POPL’12), 26 January, 2012.
Algebraic Foundations for Effect-Dependent Optimisations, POPL’11.
Algebraic Foundations for Effect-Dependent Optimisations, Functional Programming Lab Seminar, 11 January, 2012.
Programming Language Semantics: {Ret | Int | P}rospective Discussion, LFCS Lab Lunch, 20 September, 2011.
On the Statistical Thermodynamics of Reversible Communicating Processes, CALCO’11, invited paper.
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.
Algebraic Aproaches to Semantics, Research Proposal, 24 February, 2010.
A well kept secret…, LFCS Lab Lunch, 19 January, 2010.
Upcoming gigs
- Afternoon visit to the University of Edinburgh., , 01 November, 2012.
Community service
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.Organised the SICSA Agda Course by Conor McBride.