Olaf Klinke
Ex Research Student
School of Computer ScienceEdgbaston, Birmingham B15 2TT
Room 117 Office hour: Thursday 16:00 - 17:00
Supervisor:
Achim JungI recently passed my viva. An electronic version of the thesis can be found in my papers section. Now I am working at the German Cancer Research Center on algorithms for the detection of mutations in DNA sequences and modelling of biochemical processes. As this website will be taken down eventually, you might want to note my new email adress.
Research interests
My main research interest lies in topology and order theory, and especially the interplay between the two. Exciting stuff happens when the above is applied to computer science, for instance in denotational semantics or logic.
Further interests include category theory, functional analysis and variational optimization problems, dynamical systems and measure theory.
Besides the school of computer science, I owe thanks to Paul Ramsay for making my research possible through the Ramsay scholarship.
This webpage won the 3rd prize in the 2008 School of Computer Science Research Students Webpage Competition. A link to the part of this pages which won me the prize is here. First and second prize went to Ben Jones and Andy Brown.
Some pictures
... of people I met at conferences are listed here.Vita
- 2002--2005: I studied Technomathematik at Universität Paderborn (Germany)
- 2006--2007: I was a graduate student in Tulane's math department and wrote my thesis about stably compact spaces and closed relations. My supervisor was Michael Mislove.
- 2008--2011: PhD student at University of Birmingham
- since January 2012: Postdoc at DKFZ
Past research
- During my time in Paderborn I implemented a method for solving
optimal control problems involving rigid body systems in the group of
Prof Michael Dellnitz.
Click on the thumbnail for an animation of an optimised giant swing, arrows showing torque.
- In 2007 I coded for the Fraunhofer IZM in Paderborn, implementing tools for black box circuit modeling using radial basis function networks, as well as Lyapunov exponent analysis tools.