Since October 2014, Ozan Kahramanoğulları has been an assistant professor 
at the Department of MathematicsUniversity of Trento.

Between 2009 and 2017, Ozan held a researcher position at COSBI
The Microsoft Research - University of Trento 
Centre for Computational and Systems Biology.

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
    Italy

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

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