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 MADSLab 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.