IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Chairman: M. Roggenbach      Vice Chairman: L. Schröder      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski


Prof. Dr.

Till Mossakowski

Faculty of Computer Science
Otto-von-Guericke University of Magdeburg
Germany
Research topics: Heterogeneous Formal Methods, Heterogeneous Verficiation, Institutions, Ontologies, Spatial Reasoning (updated at 2013-11-22)
http://iws.cs.uni-magdeburg.de/~mossakow/