Ozan Kahramanoğulları

I moved to The Microsoft Research - University of Trento, Centre for Computational and Systems Biology. You can find my new page here.

Research Associate
Centre for Integrative Systems Biology &
Department of Computing
Imperial College London
South Kensington Campus
180 Queen's Gate
London SW7 2AZ, U.K.

Telephone: +44 (0) 20 7594 3068

Email: ozank at doc dot ic dot ac dot uk

Me: before PhD, after PhD and now

Selected talks and papers


NEW: Check out PIM-SPIM, a tool for writing stochastic models of biological systems in plain English. Here is a short abstract (BioSysBio'09).

I am working on modelling of biological systems by means of languages based on process algebra (talk slides) and also design of such languages.

This talk (pps) is on an application of the ideas above. For more information, see Luca Cardelli and Andrew Phillips' related web-pages.

This project is a part of the Exemplar Research Programme at the Centre for Integrative Systems Biology at the Imperial College (Sub-project 2).

Here is another tool (windows executable) that translates sets of chemical reactions into SPiM programs. The source code is here.


I am also interested in proof theory from the point of view of computation as proof search.

In particular, I am very much interested in Deep Inference and the Calculus of Structures.

My PhD thesis is on this topic.


Here is my web-site on implementation of deep inference and the calculus of structures.

I like capoeira and diving, especially in Kas.