Welcome to the webiste of
the MADS Laboratory
The Models and Applications of Distributed Systems (MADS) laboratory is a research unit within the Department of Mathematics and Computer Science of the University of Udine (Italy).
Research at MADS Lab is mainly focused on the areas of Distributed Systems. Ubiquitous and Context-Aware Computing with particular attention to:
formal models for reasoning about properties of distributed systems
library and tools for supporting advanced implementation methodologies of distributed systems, inspired by the above models
applications to real cases
Current activities include bigraphical models of computer networks, bigraphic-based agent programming, security protocol analysis, software transactional memories, spatial logics for graphic languages, calculi for distributed systems, synthesis of certified programs with effects.
The research unit is mainly funded by the European Union, the Italian Ministry for the University and Research (MIUR), and national industries.