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

foto della persona

Cristiano Aguzzi

Research fellow

keywords: WebOfThings, SHM, softwareEngineering, semanticWeb, IoT, linkedData, sensors, virtualreality, softwareArchitecture,
foto della persona

Gianluca Aguzzi

Adjunct professor

PhD Student

Research fellow

keywords: pervasive computing, intelligenza artificiale, distributed systems, multi-agent learning, programming paradigms
keywords: Quantum Computing, Artificial Intelligence, Data Science, Deep Learning and Machine Learning
foto della persona

Lorenzo Bacchiani

PhD Student

Research fellow

Teaching tutor

keywords: Microservices, Distributed Systems, Dynamic Adaptability, Programming Languages
foto della persona

Samuele Burattini

PhD Student

Teaching tutor

keywords: Pervasive Computing, Human-Computer Interaction, Agent-Oriented Programming, Mixed Reality, Web of Things, Digital Twins
foto della persona

Roberto Casadei

Senior assistant professor (fixed-term)

keywords: artificial intelligence, programming paradigms, collective systems, distributed systems, pervasive computing, Internet
foto della persona

Paolo Ciancarini

Full Professor

keywords: Coordination languages and models, Multiagent architectures, Semantic web, Entertainment computing, Digital documents,
foto della persona

Enrico Denti

Associate Professor

keywords: Multi-agent systems, Programming languages, Agent-oriented software engineering, Software Infrastructures, Internet of

Giuseppe De Palma

PhD Student

Teaching tutor

keywords: Serverless
foto della persona

Saverio Giallorenzo

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

keywords: Programming Languages, Process Algebras, Session Types, Choreographic Programming, Microservices, Dynamic Adaptability,
foto della persona

Lorenzo Gigli

PhD Student

Teaching tutor

keywords: Internet of Things, IoT, Web of Things, WoT
foto della persona

Roberto Gorrieri

Full Professor

keywords: Models for the description of concurrent systems, Process algebras and Petri nets, Information-flow security,
foto della persona

Uzma Latif

PhD Student

keywords: Predictive Maintenance, Machine Learning, Artificial Intelligence,Computer Vision, Software Engineering and Formal
foto della persona

Alberto Marfoglia

PhD Student

Teaching tutor

foto della persona

Andrea Omicini

Full Professor

keywords: simulation, intelligent agents, multiparadigm languages, self-organising systems, pervasive computing, multiagent
foto della persona

Danilo Pianini

Senior assistant professor (fixed-term)

keywords: simulation, aggregate programming, Internet of Things, self-organization, complex systems, biomimicry

Adnan Riaz

PhD Student

foto della persona

Davide Rossi

Associate Professor

keywords: software engineering, web technologies, business process management, knwoledge graphs, coordination, process modeling
foto della persona

Silvio Russo

PhD Student

foto della persona

Domenico Scotece

Junior assistant professor (fixed-term)

keywords: Fog Computing, Cloud Computing, IoT, Mobile Edge Computing, Mobile Cloud Computing, Wireless Network, Software Defined
foto della persona

Giancarlo Succi

Full Professor

keywords: Empirical software engineering, agile methods, open source, software metrics, application of artificial intelligence to
foto della persona

Mirko Viroli

Full Professor

keywords: Object-oriented languages, Multiagent systems, Simulation and verification, Coordination, Software engineering,
foto della persona

Fabio Vitali

Full Professor

keywords: markup languages, Digital Publishing, hypertext systems, document formats, Explainable Artificial Intelligence, User

Stefano Pio Zingaro

Junior assistant professor (fixed-term)

keywords: Machine learning, Microservices, Artificial intelligence, Early school leaving