Programming languages

In the area of programming languages, DISI is engaged on numerous fronts. For example, languages for artificial intelligence are typically based on declarative programming paradigms that include first-class mechanisms for symbolic computation and constructs for rapid prototyping. In addition, DISI is active in research on constraint languages and constraint satisfaction/optimization-based computation paradigms that increasingly include the development of hybrid paradigms that combine classical artificial intelligence techniques with mathematical programming and operations research techniques. Moreover, an intense research activity concerns agent-oriented programming, studied as a high-level programming paradigm for the design and implementation of concurrent and distributed systems, as a conceptual evolution of concurrent object-oriented programming and actor-based programming. From the foundational point of view, mathematical models such as lambda-calculus or process calculus are used in order to develop theories generally applicable to programming languages.

People

foto della persona

Gianluca Aguzzi

Adjunct professor

PhD Student

Research fellow

keywords: pervasive computing, intelligenza artificiale, distributed systems, multi-agent learning, programming paradigms
foto della persona

Roberto Amadini

Associate Professor

keywords: Artificial Intelligence, Constraint Programming, Combinatorial Optimization, Algorithms Portfolio, Software Verification
foto della persona

Lorenzo Bacchiani

PhD Student

Research fellow

Teaching tutor

keywords: Microservices, Distributed Systems, Dynamic Adaptability, Programming Languages
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

Anna Ciampolini

Full Professor

keywords: artificial intelligence, cloud computing, intelligent agents, high performance computing, virtualization
foto della persona

Andrea Colledan

PhD Student

Teaching tutor

keywords: Lambda calculus, Quantum programming languages, Operational semantics, Resource verification
foto della persona

Ugo Dal Lago

Full Professor

keywords: Differential Program Semantics, Quantum Computation, Cryptography, Automated Complexity Analysis
foto della persona

Enrico Denti

Associate Professor

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

Maurizio Gabbrielli

Full Professor

keywords: Programming languages, Constraint programming, Artificial Intelligence
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

Roberto Gorrieri

Full Professor

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

Pietro Lami

PhD Student

Teaching tutor

keywords: Operational semantics, Reversible languages
foto della persona

Ivan Lanese

Associate Professor

keywords: Multiparty sessions, Reversible languages, Process calculi, Service-oriented computing
foto della persona

Cosimo Laneve

Full Professor

keywords: programming languages, static analysis of programs, programming languages semantics, prototype implementations of
foto della persona

Simone Martini

Full Professor

keywords: Programming languages, History and philosophy of computing, Computer science education, Linear logic
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
foto della persona

Claudio Sacerdoti Coen

Associate Professor

keywords: Type theory, Interactive theorem proving, Mathematical knowledge management, Lambda-calculus, Programming languages,
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,

Stefano Pio Zingaro

Junior assistant professor (fixed-term)

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