Photo of Alceste Scalas
 

View Scopus Profile

Alceste Scalas

Dr

 https://orcid.org/0000-0002-1153-6164
  • Phone+44 121 204 4760

  • Computer ScienceSchool of Engineering and Applied Science, Aston University

    B4 7ET Birmingham

    United Kingdom

  • Aston University Main Building, room MB214D

  • Computer Science School of Engineering and Applied Science Aston University B4 7ET Birmingham United Kingdom

20082019
If you made any changes in Pure these will be visible here soon.

Personal profile

Contact Details

Research Interests

I am interested in the theory and practice of concurrent and distributed systems: how to design and develop correct and reliable applications, by building upon rigorous mathematical foundations.

My main research topics are: formal methods, concurrency theory, distributed systems, programming languages, type systems. I am particularly keen on producing theoretically-grounded tools and libraries to aid software design, development, and verification.

Employment

  • Since March 2019: Lecturer (Assistant Professor) in Computer Science at Aston University, Birmingham, UK
  • June 2015 - February 2019: Research Associate at Imperial College London, UK

Fingerprint Dive into the research topics where Alceste Scalas is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Message passing Engineering & Materials Science
Calculus Mathematics
Semantics Engineering & Materials Science
Communication Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Network protocols Engineering & Materials Science
Maude Mathematics
Safety Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2008 2019

  • 6 Conference contribution
  • 6 Article
  • 3 Conference article
  • 1 Chapter

Effpi: Verified Message-Passing Programs in Dotty

Scalas, A., Yoshida, N. & Benussi, E., 17 Jul 2019, Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019. ACM, p. 27-31 5 p. (Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Message passing
DSL
Network protocols
Program processors

Less is more: multiparty session types revisited

Scalas, A. & Yoshida, N., 2 Jan 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, 29 p., 30.

Research output: Contribution to journal › Article

Open Access
File
Type Theory
Safety
Restriction
Liveness
Deadlock

Verifying message-passing programs with dependent behavioural types

Scalas, A., Yoshida, N. & Benussi, E., 8 Jun 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). ACM, p. 502-516 15 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Message passing
Model checking
Application programming interfaces (API)
Computer programming languages
Specifications

A linear decomposition of multiparty sessions for safe distributed programming

Scalas, A., Dardha, O., Hu, R. & Yoshida, N., 1 Jun 2017, 31st European Conference on Object-Oriented Programming, ECOOP 2017. Muller, P. (ed.). Vol. 74. p. 24:1-24:31

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Decomposition
Message passing
Application programming interfaces (API)
Acoustic waves
Network protocols

Multiparty session types, beyond duality (Abstract)

Scalas, A. & Yoshida, N., 8 Apr 2017, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 246, p. 37-38 2 p.

Research output: Contribution to journal › Conference article

Open Access
File
Message passing
Communication