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/