Ingo Battenfeld
Current Position
I am currently working as a Research Associate at the Chair for Software-Technology in the Faculty for Informatics of the Technical University of Dortmund. Besides some tutoring and theoretical research (see below), I am a memeber of the research project ArcheoInf. The aim of this project is to provide a unified interface for querying databases of a wide range of archeological field-projects.
Contact Details
Lehrstuhl für Software-Technologie
Fakultät für Informatik, TU Dortmund
Baroper Straße 301
D-44227 Dortmund
Email: battenfeld at ls10.cs.uni-dortmund.de
Research Interest
My research interests are in the areas of denotational semantics, domain theory, category theory and topology. I did my PhD at the Laboratory for Foundations of Computer Science in the School of Informatics of the University of Edinburgh. My PhD formed part of a project called Topological Domain Theory an was supervised by Alex Simpson. Topological Domain Theory provides a flexible toolkit for denotational semantics of (functional) programming languages, generalising Classical Domain Theory. Please check the project-webpage for more details and publications on Topological Domain Theory.