Between 2006 and 2009, Ozan worked at the Imperial College, Department 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
interana: interactive Multiplicative Linear Logic prover
Ozan Kahramanoğulları, James Lynch
Process Modeling and Rendering of Biochemical Structures: Actin.