The lab aims to offer undergraduate, graduate, and PhD students proper devices and tools to develop thesis and research within the domain of software engineering, formal languages and methodologies, and IoT, mobile, and cloud applications. Since the research group comprises many faculty members, it also embodies many different scientific interests, among the others:

• The definition and development of tools to manage the configurations of complex software products, and ease the collaboration among the members of the development team.
• The use of formal methods and techniques to model and validate complex software systems in the different phases of their development.
• The study and implementation of model-driven techniques for the development of complex software systems.
• The study of models and techniques for the analysis of the non-functional properties, the resource provisioning, and the optimization of highly distributed software applications.
• The study of decentralized and distributed software architectures, maybe based on the micro-service paradigm.
• The analysis and definition of IoT, mobile, and cloud-based applications.
• The development of middleware infrastructures to distribute information and computation within dynamic networks.

The lab is active in the following areas:

• “Classical” software engineering: requirements elicitation and specification, agile and iterative software processes, DevOps, modeling solutions for complex systems, self-adaptive systems, software quality, testing, and validation.
• Distributed systems: complex data-intensive distributed systems, data stream processing and reactive systems, novel programming paradigms and runtime systems that that exploit specialized parallel hardware solutions and GPUs, big-data applications.
• Cloud computing: design time property verification, runtime management of cloud infrastructures, infrastructure as a code, optimal deployment, heterogeneous infrastructures (including VMs, containers, GPUs), performance evaluation, serverless computing.
• Mobile computing: app development, cross-platform development, model-based app generation, testing of Android applications, integration of app and smart/IoT devices.
• Theory and applications of formal methods: formal modeling languages, automated formal verification techniques, formal modeling and verification of timed critical and distributed systems, safety of human robot collaborative systems, formally-based model-driven development.
• Embedded IoT software: programming abstractions, mobile embedded system development, operating system support, intermittent and transiently-powered computing, dependability, low-power wireless networking.