Till Mossakowski    (L8F)

Prof. Dr. Till Mossakowski
Professor of Theoretical Computer Science 
University of Magdeburg

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)