Programming languages

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

Research fellow

Teaching tutor

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

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

Maichol Dadi

Research fellow

keywords: deep learning, computer visione, agritech, biometric systems and legal issues

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,

Özlem Kaya

PhD Student

foto della persona

Pietro Lami

PhD Student

Teaching tutor

keywords: Operational semantics, Reversible languages, Formal Methods, Reversible Computing

foto della persona

Ivan Lanese

Associate Professor

keywords: Quantum computing, Reversible languages, Multiparty sessions, 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

Luca Padovani

Full Professor

keywords: Type systems, Behavioral types, Concurrent and distributed systems, Process algebras, Formal software verification

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