Scholar
Alceste Scalas
Google Scholar ID: kdnGU6wAAAAJ
Associate Professor in Computer Science, DTU Compute, Technical University of Denmark
Citations & Impact
Citations
728
H-index
11
i10-index
12
Publications
20
Co-authors
11
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Publications:
- - “Precise Subtyping for Asynchronous Multiparty Sessions” accepted for publication in ACM Transactions on Computational Logic.
- - “Generalised Multiparty Session Types with Crash-Stop Failures” accepted at CONCUR 2022.
- - “Precise subtyping for asynchronous multiparty sessions” accepted at POPL 2021.
- - “Verifying Message-Passing Programs with Dependent Behavioural Types” and its companion artifact accepted at PLDI 2019.
- - “Less is More: Multiparty Session Types Revisited” and its companion artifact accepted at POPL 2019.
- - “Precise subtyping for synchronous multiparty sessions” accepted for publication in the Journal of Logical and Algebraic Methods in Programming.
- Research Projects:
- - 2023-2026: TaRDIS - Trustworthy and Resilient Decentralised Intelligence for edge Systems (funded by the Horizon Europe programme).
- - 2022-2026: Hyben - Hybrid Verification of Heterogeneous Message-Passing Applications (funded by the Danmarks Frie Forskningsfond).
Research Experience
- Currently an Associate Professor at DTU Compute, part of the Software Systems Engineering research section. Joined DTU in September 2020. Previously, was a Lecturer (Assistant Professor) in Computer Science at Aston University, Birmingham, UK. Before that, was a Research Associate at Imperial College London (Dept. of Computing), and a member of the Mobility Reading Group directed by Prof Nobuko Yoshida.
Education
- Earned a PhD in Computer Science in 2015 from the University of Cagliari (Italy). Before that, worked as a software developer in industry and as a research software engineer on several projects at CRS4 (Center for Advanced Studies, Research and Development in Sardinia).
Background
- Research interests include the theory and practice of concurrent and distributed systems, focusing on designing and developing correct and reliable software applications. Main research topics are formal methods, concurrency theory, distributed systems, programming languages, and type systems.
Miscellany
- Invited to speak about Effpi at Scala World 2019, the video is available on YouTube.
