Welcome Prof./Dr. Ernst-Erich Doberkat, Technische Universität Dortmund, Germany to be the TPC!
Prof./Dr. Ernst-Erich Doberkat, Technische Universität Dortmund, Germany
* Software Prototyping. We worked basically in the area of set-based programming, where we developed a prototyping systems based on Jack Schwartz’s SETL programming language. This was extended by the tuple based approach to parallel programming (aka the Linda metaphor), and by persistency.
* Requirements Engineering. Our main objective was to carry the prototyping methods to multi media in teaching software engineering, and to provide tools for the work in the humanities as well as archeologists. These latter work entailed developing - informally - a common language for professors in the humanities and archeology and computer scientists, and it meant to give these users outside CS access to data bases and other tools of our trade. Also, we co-developed a new approach to visualize one particular Gothic cathedral in the Rhineland.
* Coalgebras and stochastic systems. We found a way of dealing formally with the problem of bisimilarity of stochastic transition systems via the Giry monad and stochastic selection theory. This work gives some insight into modal logics and concurrent systems, it is highly theoretical and has at most indirect applications to practical programming and to software architecture.
* Data structures. We analyzed the average performance of heap sort and investigated some combinatorial properties of the pertaining data structures.
Environmental informatics. We co-designed the software architecture of the German system for environmental monitoring natural and artificial radioactivity in cooperation with the federal agency for radiation protection, and the federal ministry of the environment.