Software engineering

The global demand for software development, extension and upgrade will far exceed the rate at which the industry can deliver it in the near future. Scaling to much higher levels of productivity requires the ability to rapidly configure
quickly, adapting and assembling software components to produce similar but distinct families of systems. This requires a transition from craft to advanced industrial techniques, with an evolution similar to that experienced by other
industries in the past. Advanced meta-models and related software factories are being developed at DISI to move in this direction of high throughput and rapid prototyping. Research is also focused on software architectures where theories, models and techniques
architectural design theories, models and techniques make systematic the construction of software structures and their disciplined composition (including architectural styles and methods) into systems. In addition, at DISI we work on advanced forms of
service-oriented computing, a programming paradigm based on the dynamic composition of services from different and independent vendors. Finally, models to control the complexity of these systems at different levels of abstraction, and languages to program them, are studied.

People

Gianluca Aguzzi

Adjunct professor

foto della persona
Keywords: Macroprogramming, Collective Adaptive Systems, Multi-Agent Reinforcement Learning, Federated Learning, Generative AI Leggi di più

Lorenzo Bacchiani

Research fellow

Teaching tutor

foto della persona
Keywords: Microservices, Distributed Systems, Dynamic Adaptability, Programming Languages Leggi di più

Andrea Bedei

PhD Student

Teaching tutor

foto della persona

Roberta Calegari

Fixed-term Researcher in Tenure Track L. 79/2022

foto della persona
Keywords: logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS, situatedness, LVLP Leggi di più

Roberto Casadei

Associate Professor

foto della persona
Keywords: software engineering, programming paradigms, multi-agent systems, distributed systems, distributed artificial intelligence, collective intelligence, pervasive computing, Internet of Things, swarm robotics Leggi di più

Paolo Ciancarini

Full Professor

foto della persona
Keywords: Software engineering, Distributed systems, Software architecture, Multi-agent systems and coordination, Artificial intelligence and conversational AI, Entertainment computing and computer chess, Software cost estimation, Imperfect‑information (partial‑information) games, Digital transformation, Knowledge engineering and semantic Web technologies Leggi di più

Giovanni Ciatto

Fixed-term Researcher in Tenure Track L. 79/2022

foto della persona
Keywords: artificial intelligence, ingegneria del software, multi-agent systems, explainable artificial intelligence, logic programming, distributed systems, programming languages Leggi di più

Angela Cortecchia

PhD Student

Teaching tutor

foto della persona
Keywords: Aggregate Computing, Pervasive Computing, Swarm Robotics, Intelligent Software Systems, Cyber-Physical Systems, Software Engineering, Internet of Things, Smart Cities Leggi di più

Enrico Denti

Associate Professor

foto della persona
Keywords: Multi-agent systems, Programming languages, Agent-oriented software engineering, Software Infrastructures, Multi-paradigm programming, Micro-intelligence in IoT contexts, Coordination models Leggi di più

Saverio Giallorenzo

Fixed-term Researcher in Tenure Track L. 79/2022

foto della persona
Keywords: Programming Languages, Process Algebras, Session Types, Choreographic Programming, Microservices, Dynamic Adaptability, Security Leggi di più

Roberto Gorrieri

Full Professor

foto della persona
Keywords: Models for the description of concurrent systems, Process algebras and Petri nets, Information-flow security, Service-oriented computing Leggi di più

Moreno Marzolla

Associate Professor

foto della persona
Keywords: High Performance Computing, Complex Systems, Distributed Systems, Design and Analysis of Algorithms, Modeling and Simulation, Complex Networks Analysis, Software Engineering, Performance Evaluation Leggi di più

Ghulam Mustafa

PhD Student

foto della persona

Andrea Omicini

Full Professor

foto della persona
Keywords: simulation, intelligent agents, multiparadigm languages, self-organising systems, pervasive computing, multiagent systems, software infrastructure, autonomous systems, software engineering, coordination, distributed systems, programming languages, AI symbolic techniques, neurosymbolic systems, Agentic AI Leggi di più

Manuele Pasini

PhD Student

Teaching tutor

No photo available

Danilo Pianini

Associate Professor

foto della persona
Keywords: simulation, aggregate programming, Internet of Things, self-organization, collective adaptive systems, software engineering, devops, pervasive computing, multi-agent systems, domain-specific programming languages, programming paradigms, distributed systems, collective intelligence, swarm robotics, distributed artificial intelligence Leggi di più

Davide Rossi

Associate Professor

foto della persona
Keywords: software engineering, web technologies, business process management, knwoledge graphs, coordination, process modeling, code LLMs Leggi di più

Domenico Scotece

Junior assistant professor (fixed-term)

foto della persona
Keywords: Fog Computing, Cloud Computing, IoT, Mobile Edge Computing, Mobile Cloud Computing, Wireless Network, Software Defined Networking, 5G, 6G Leggi di più

Giancarlo Succi

Full Professor

foto della persona
Keywords: Empirical software engineering, agile methods, open source, software metrics, application of artificial intelligence to software engineering, cognitive models of software production. Leggi di più

Mirko Viroli

Full Professor

foto della persona
Keywords: Programming and specification languages, Multiagent systems, Simulation and verification, Coordination, Software engineering, Pervasive computing, Self-organization, Generative AI Leggi di più

Fabio Vitali

Full Professor

foto della persona
Keywords: markup languages, Digital Publishing, hypertext systems, document formats, Explainable Artificial Intelligence, User Experience Design, Digital Humanities Leggi di più