|
|
|
| Contacts |
| Email |
 |
| Telephone |
+39 0461 28 2839 |
| Fax |
+39 0461 28 2814 |
| Room |
106 |
|
Research interests
Process theories
Models of concurrency
Logic and proof theory
Modelling of complex reactive systems
Theoretical biology
Language design |
| Short biography
Ozan Kahramanogullari obtained a B.Sc.(1999) in mathematics in Ankara, Turkey. He obtained an M.Sc. in computer science and artificial intelligence(2002) and a Ph.D. in theoretical computer science(2006) from the TU Dresden. The title of his Ph.D. thesis in proof theory, supervised by Dr. Alessio Guglielmi, is "Nondeterminism and Language Design in Deep Inference".
From 2006 to 2009, Ozan worked as a post-doctoral research associate at Imperial College London on a project, co-hosted at the Department of Computing and the Centre for Integrative Systems Biology. In collaboration with Prof. Luca Cardelli (Microsoft Research Cambridge) and Prof. Philippa Gardner, his work at Imperial College focused on the applications of theoretical computer science techniques to modeling and analysis of biological systems.
Ozan joined CoSBi in September 2009. |
|
© 2009, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, All Rights Reserved
Webmaster: 
Edit Area
