Department of Computer Science

Ohad's Research - Home

Ohad Kammar


Researcher
Office 331
Department of Computer Science
University of Oxford
Wolfson Building Parks Road
Oxford OX1 3QD
Tel: +44 (0)1365 (2) 73618
Post: first name . family name @cs.ox.ac.uk


and

Career Development Fellow
Balliol College
University of Oxford
Broad Street
Oxford OX1 3BJ


To schedule an appointment, consult my calendar.


Current project

I am currently working with Sam Staton on quantum computation as a programming language thanks to the Engineering and Physical Sciences Research Council and the Royal Society.

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

Research interests

  • Applied mathematics
    • Category theory
    • Logic
    • Ordinal notation systems
    • Universal algebra
  • Programming language theory
    • Semantics, in particular denotational semantics
    • Expressivity
    • Polymorphism
      • Value restriction
    • Computational effects
      • Effect type systems
      • Effect handlers
      • Delimited control
      • Monadic reflection
    • Probabilistic programming
      • Semantics
      • Structuring generative models
      • Variational inference and kernel methods
    • Concurrency
      • Event structures
      • Relaxed behaviour
    • Access control
    • Staging and metaprogramming
  • Conceptual biology
    • Coevolution
    • Drift
    • The Baldwin effect
profile

Publications and preprints (abstracts)

Past projects

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

Talks (abstracts)

Reports (abstracts)

Upcoming gigs

Community service

2018

2017

2016

2015 - current

2014

2013

2011

Media presence

  • © 2016 University of Oxford Department of Computer Science