CV of Ozan Kahramanoğulları


Between October 2014 and 2020, Ozan has been an assistant professor at the Department of Mathematics, University 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 College, Department 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 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).



Ozan Kahramanoğulları, PhD
University of Bolzano
Faculty of Computer Science
Dominikanerplatz 3 - piazza Domenicani, 3
Bozen-Bolzano, Trento 39100
Italy

Skype: ozandd

Email: ozan ❮ dot ❯ kah ❮ at_sign ❯ gmail ❮ dot ❯ com