Ozan Kahramanoğulları
I am interested in theoretical aspects of computer science
with biology in perspective. I like logic and proof theory as well,
which I studied during my PhD.  

I am working at COSBI, 
The Microsoft Research - University of Trento 
Centre for Computational and Systems Biology.
 


Between 2006 and 2009, I worked at the Imperial College, Department of Computing, 
in collaboration with with Prof. Philippa Gardner and Prof. Luca Cardelli (Microsoft Research Cambridge), 
in a joint project with the Centre for Integrative Systems Biology at the Imperial College (CISBIC), 
on a BBSRC grant (BB/C519670/1), “Computational Modelling of Biological Processes”. 

I obtained my PhD in proof theory and computer science from the TU Dresden (2006), 
MSc in computer science and artificial intelligence from the TU Dresden (2002), and
BSc in mathematics from the Hacettepe University in Ankara (1999). 
  
My PhD thesis with the title "Nondeterminism and Language Design in Deep Inference", 
supervised by Alessio Guglielmi, is on the interface between proof theory, 
in particular deep inference, and its applications to computer science. 

During my PhD and Masters, I spent some time at LORIA in Nancy, France (2004), 
and at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (2001).


   News 

         PDF Stochastic Flux Equivalence, draft.
             Ozan Kahramanoğulları, James Lynch