Ozan Kahramanoğulları

Ozan Kahramanoğulları is a senior researcher at COSBI
The Microsoft Research - University of Trento 
Centre for Computational and Systems Biology

His current research focuses on
theoretical aspects of computer science 
with biology in perspective, 
in particular, logic and proof theory, technologies for 
stochastic simulation and analysis, and their applications.
Between 2006 and 2009, Ozan worked at the Imperial CollegeDepartment of Computing
in collaboration with Prof. Philippa Gardner and Prof. Luca Cardelli (Microsoft Research Cambridge)
in a joint project with the Centre for Integrative Systems Biology at Imperial College (CISBIC)
on a BBSRC grant (BB/C519670/1), “Computational Modelling of Biological Processes”. 

Ozan obtained his 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). 
His 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 his PhD and Masters, he spent a month at LORIA in Nancy, France (2004), and 7 months
at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (2001).


       * Interaction and depth against nondeterminism in proof search. [PDF]        
         Ozan Kahramanoğulları,


 Logical Methods in Computer Science,

 in press.

       interana: interactive Multiplicative Linear Logic prover

       * Stochastic Flux Analysis of Chemical Reaction Networks, [LINK]
             Ozan Kahramanoğulları, James Lynch

BMC Systems Biology, 7: 133,



       * Gener is a tool for performing reductions on DNA strands wrt. a strand displacement algebra.


       *Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions 
        to gemcitabine efficacy.
        Ozan Kahramanoğulları, Gianluca Fantaccini, Paola Lecca, Daniele Morpurgo, Corrado Priami






        * Rendering 3D Process Models: Actin


         Process Modeling and Rendering of Biochemical Structures: Actin.  
         Ozan Kahramanoğulları, Andrew Phillips, Federico Vaggi 

         Biomechanics of cells and tissues: experiments, models and simulations


Lecture Notes in Computational Vision and Biomechanics,  Volume 9, 2013