OZAN KAHRAMANOĞULLARI

Ozan Kahramanoğullari

I moved to Imperial College London. I don't update this site. Here you can find my new homepage.

Welcome to my web-site. Here is a photo of mine.

I am a Ph.D. student co-associated at the International Center for Computational Logic at the TU Dresden

and "Graduiertenkolleg Wissensrepräsentation" PhD Programme at the University of Leipzig.

For my PhD Project, I am working on applications of proof theory, in the lines of the calculus of structures.

Here is a web-site on my implementations of systems of the calculus of structures.

Here you can find my papers and talks.

There are possible project and thesis topics on issues related to the calculus of structures and these implementations.

Email: ozan at janeway.inf.tu-dresden.de
..