Till Mossakowski (L8F)
Prof. Dr. Till Mossakowski Professor of Theoretical Computer Science University of Magdeburg Germany email: mossakow [at] iws.cs.uni-magdeburg.de (3N5S)
see: http://iws.cs.uni-magdeburg.de/~mossakow/ (L8G)
Till Mossakowski studied computer science in Bremen in 1986-1992, with the diploma thesis "Spezifizierbarkeit und Berechenbarkeit parametrischer partieller Datentypen" (Specifiability and computability of parametric partial data types) supervised by Prof. Dr. Hans-Jörg Kreowski and Prof. Dr. Horst Herrlich. In 1987 he won the first prize (federal level) in the contest "Jugend forscht" with the work "Die Arithmetische Komplexitaet der Semantik und der SLD-Baeume von logischen Programmen" (Arithmetic complexity of the semantics and the SLD trees of logic programs). (3N5T)
In 1993-1996 he received the PhD scholarship of the Studienstiftung des deutschen Volkes; the PhD thesis "Representations, hierarchies and graphs of institutions" was supervised by Prof. Dr. Hans-Jörg Kreowski and Prof. Dr. Andrzej Tarlecki. In 1996-2000 he had a postdoc scholarship at the University of Bremen. In 2000-2002 he was research assistant in the project MULTIPLE funded by Deutsche Forschungsgemeinschaft. From 2002-2005, he was an assistant professor at the University of Bremen. In 2005, he has completed his Habilitation thesis about heterogeneous specifications and received his habilitation degree. Since 2006, he is a senior researcher at the DFKI GmbH Bremen. In the winter term 2008/2009, he was on leave for a substitute professorship in artificial intelligence at the Albert-Ludwigs-Universität in Freiburg. Since 2011, he has been extraordinary professor of computer science at the university of Bremen. Since October 2013, he is professor for theoretical computer science at the Otto-von-Guericke University in Magdeburg. (3N5U)
His research areas are (3N5V)
- Ontologies, spatial reasoning and geoservices. He is member of the German Sonderforschungsbereich / Transregio "Spatial cognition". In the SFB/TR, he is principal investigator of two projects about qualitative spatial reasoning and spatial ontologies. Moreover, he is involved in the project DO-ROAM about ontology-based route planning. (3N5W)
- Logic and formal methods. He has been actively engaged in the design of and the development of tools for the specification language CASL by the "Common Framework Initiative" (CoFI). He is chair of the CoFI steering committee. He has been working on CASL extensions such as HasCASL (specification of higher-order functional programs), reactive and concurrent extensions (CoCASL, ModalCASL, CspCASL) and heterogeneous CASL (for multi-logic systems), and tools for these. The central tool here is the Heterogeneous Tool Set (Hets), a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications. He is coordinator of the FLIRTS interest group on the meta-theory of logics and institutions. (3N5Y)
- Till Mossakowski is chair of the IFIP Working Group 1.3 "Foundations of Systems Specification", as well as chair of the steering committees of the CALCO and WADT conferences. (3N5Z)