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-Joerg 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).
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-Joerg Kreowski and Prof. Dr. Andrzej Tarlecki. In 1996-2000 he had postdoc scholarship at the University of Bremen. In 2000-2002 he was research assistant in the project MULTIPLE funded by Deutsche Forschungsgemeinschaft. Since 2002 he is 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 Lab Bremen.
His research focus is formal methods for software development. 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. Currently, he is 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.
He is coordinator of the FLIRTS interest group on the meta-theory of logics and institutions, and member of the IFIP Working Group 1.3 "Foundations of Systems Specification", of the steering committees of the CALCO and WADT conferences and of the German Sonderforschungsbereich/Transregio "Spatial cognition". In the SFB/TR, he is principal investigator of three projects about qualitative spatial reasoning, spatial ontologies and spatio-temporal beliefs in multi-agent systems.