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
WoLLIC 2016, August 16-19, 2016, Puebla, Mexico, Springer, 2016. in press.
Ozan Kahramanoğulları, Luca Cardelli
Among 100 most viewed articles of last year at BMC Systems Biology (5.7.2014)
Ozan Kahramanoğulları, James Lynch
Process Modeling and Rendering of Biochemical Structures: Actin.