Between 2006 and 2009, Ozan worked at the Imperial CollegeDepartment of Computing
in collaboration with 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 theoretical 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 inferenceand 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 (ILLCat the University of Amsterdam (2001).


    Ozan Kahramanoğulları, PhD
    University of Trento
    Department of Mathematics
    Via Sommarive, 14
    Povo, Trento 38123

    The Microsoft Research - University of Trento
    Centre for Computational and Systems Biology
    Piazza Manifattura, 1
    38068 Rovereto

    Tel:  +39 0461 28 2832
    Skype: ozandd
    Email: ozan<at_sign>cosbi<dot>eu