2026 Mariangiola Dezani-Ciancaglini: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	39	9681	9403	281	279	220	7271

Research.com Recognitions

2015 - European Association for Theoretical Computer Science (EATCS) Fellow For distinguished and seminal achievements in formal methods and foundations of programming languages, introducing or developing new type systems for the lambda-calculus as well as for the pi-calculus and related calculi
1993 - Member of Academia Europaea

Overview

Mariangiola Dezani-Ciancaglini is affiliated with the University of Turin in Italy. Their research primarily spans the domain of Computer Science, with specific focus on formal methods, type systems, and distributed computing.

The main fields of study encompass Computer Science, with significant contributions in several subfields:

Artificial Intelligence
Computational Theory and Mathematics
Computer Networks and Communications
Hardware and Architecture
Management Information Systems

The scientist's research topics cover a variety of areas within Computer Science, especially concentrating on logic, programming, and type systems, as well as methods for system verification and distributed systems:

Logic, programming, and type systems
Formal Methods in Verification
Distributed systems and fault tolerance
Parallel Computing and Optimization Techniques
Business Process Modeling and Analysis
Service-Oriented Architecture and Web Services
Advanced Database Systems and Queries

Their scholarly output includes publications in reputable venues related to theoretical computer science and programming languages:

Electronic Proceedings in Theoretical Computer Science
Journal of Logical and Algebraic Methods in Programming
arXiv (Cornell University)
Logical Methods in Computer Science
Fundamenta Informaticae

Among recent papers authored or co-authored by Mariangiola Dezani-Ciancaglini are:

"Composition and decomposition of multiparty sessions" (2020), Journal of Logical and Algebraic Methods in Programming
"Deconfined Global Types for Asynchronous Sessions" (2023), Logical Methods in Computer Science
"Asynchronous Sessions with Input Races" (2022), Electronic Proceedings in Theoretical Computer Science
"Event structure semantics for multiparty sessions" (2022), Journal of Logical and Algebraic Methods in Programming
"Partially Typed Multiparty Sessions" (2023), Electronic Proceedings in Theoretical Computer Science

Frequent collaborators include:

Franco Barbanera
Paola Giannini
Viviana Bono
Francesco Dagnino
Ilaria Castellani

Mariangiola Dezani-Ciancaglini's contributions have been recognized through several honors. In 2015, they were named a Fellow of the European Association for Theoretical Computer Science (EATCS) for achievements in formal methods and foundations of programming languages. Earlier, in 1993, they became a member of Academia Europaea.

Best Publications

A FILTER LAMBDA MODEL AND THE COMPLETENESS OF TYPE ASSIGNMENT

Henk Barendregt;Mario Coppo;Mariangiola Dezani-Ciancaglini

711
Citations
An extension of the basic functionality theory for the $\lambda$-calculus

Mario Coppo;Mariangiola Dezani-Ciancaglini

433
Citations
Functional Characters of Solvable Terms

Mario Coppo;Mariangiola Dezani-Ciancaglini;Betti Venneri

311
Citations
A new type assignment for λ-terms

Mario Coppo;Mariangiola Dezani-Ciancaglini

294
Citations
Global Progress in Dynamically Interleaved Multiparty Sessions

Lorenzo Bettini;Mario Coppo;Loris D'Antoni;Marco Luca

265
Citations
International Symposium on Programming

Mariangiola Dezani-Ciancaglini;Ugo Montanari

255
Citations
Intersection and Union Types

F. Barbanera;M. Dezaniciancaglini;U. Deliguoro

248
Citations
Session types for object-oriented languages

Mariangiola Dezani-Ciancaglini;Dimitris Mostrous;Nobuko Yoshida;Sophia Drossopoulou

206
Citations
Extended Type Structures and Filter Lambda Models

M. Coppo;M. Dezani-Ciancaglini;F. Honsell;G. Longo

192
Citations
Global Progress for Dynamically Interleaved Multiparty Sessions

Mario Coppo;Mariangiola Dezani-Ciancaglini;Nobuko Yoshida;Luca Padovani

163
Citations
On Global Types and Multi-Party Session

Giuseppe Castagna;Mariangiola Dezani-Ciancaglini;Luca Padovani

149
Citations
Sessions and session types: an overview

Mariangiola Dezani-Ciancaglini;Ugo De'Liguoro

142
Citations
On global types and multi-party sessions

Giuseppe Castagna;Mariangiola Dezani-Ciancaglini;Luca Padovani

138
Citations
Fickle: Dynamic Object Re-classification

Sophia Drossopoulou;Ferruccio Damiani;Mariangiola Dezani-Ciancaglini;Paola Giannini

138
Citations
Type theories, normal forms, and D ∞ -lambda-models

M. Coppo;M. Dezani-Ciancaglini;M. Zacchi

130
Citations
On progress for structured communications

Mariangiola Dezani-Ciancaglini;Ugo De'Liguoro;Nobuko Yoshida

126
Citations
More dynamic object reclassification: Ficklep

Sophia Drossopoulou;Ferruccio Damiani;Mariangiola Dezani-Ciancaglini;Paola Giannini

120
Citations
Foundations of session types

Giuseppe Castagna;Mariangiola Dezani-Ciancaglini;Elena Giachino;Luca Padovani

114
Citations
A Filter Model for Concurrent $\lambda$-Calculus

Mariangiola Dezani-Ciancaglini;Ugo de'Liguoro;Adolfo Piperno

91
Citations
A distributed object-oriented language with session types

Mariangiola Dezani-Ciancaglini;Nobuko Yoshida;Alexander Ahern;Sophia Drossopoulou

87
Citations
Characterization of normal forms possessing inverse in the λ-β-η-calculus

Mariangiola Dezani-Ciancaglini

84
Citations
Asynchronous session types and progress for object oriented languages

Mario Coppo;Mariangiola Dezani-Ciancaglini;Nobuko Yoshida

83
Citations
Compositional Characterizations of lambda-Terms Using Intersection Types

Mariangiola Dezani-Ciancaglini;Furio Honsell;Y. Motohama

73
Citations
A Gentle Introduction to Multiparty Asynchronous Session Types

Mario Coppo;Mariangiola Dezani-Ciancaglini;Luca Padovani;Nobuko Yoshida

73
Citations

Frequent Co-Authors

Nobuko Yoshida University of Oxford

Giuseppe Castagna Centre national de la recherche scientifique, CNRS

Vladimiro Sassone University of Southampton

Ugo Montanari University of Pisa

Rosario Pugliese University of Florence

Giuseppe F. Italiano Guido Carli Free International University for Social Studies

Scott A. Smolka Stony Brook University

Yuri Gurevich University of Michigan–Ann Arbor

Paul G. Spirakis University of Liverpool

Karin Sauer Binghamton University

External Links

Wikipedia of Mariangiola Dezani-Ciancaglini Personal website of Mariangiola Dezani-Ciancaglini Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Thinking beyond a traditional Computer Science degree opens up versatile, in-demand career options. For those concerned about past academic performance, exploring online colleges that accept low gpa can provide flexible entry points to quality programs. Many reputable institutions offer pathways for students looking for a fresh start.

If you’re interested in fast-tracking your education, consider the benefits of an accelerated computer science degree online. These intensive programs are designed for motivated learners to earn their degree faster and get into the workforce sooner.

Those drawn to the intersection of technology and sustainability will find tremendous opportunities by studying environmental fields online, such as earning an environmental engineering degree online. This specialization complements computer science skills in areas like data analysis, modeling, and sustainable systems.

Exploring what you can accomplish with allied degrees such as environmental science can also broaden your professional horizons. Discover the full range of options in our guide, environmental science degree, to see how these fields support real-world impact and interdisciplinary careers.