Photo of Alceste Scalas

Alceste Scalas

Dr

  • 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

20082021

Research output per year

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.
  • 3 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • Precise subtyping for asynchronous multiparty sessions

    Ghilezan, S., Pantović, J., Prokić, I., Scalas, A. & Yoshida, N., 4 Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, p. 1-28 28 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • Towards a hybrid verification methodology for communication protocols (short paper)

    Bartolo Burlò, C., Francalanza, A. & Scalas, A., 8 Jun 2020, Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Proceedings. Gotsman, A. & Sokolova, A. (eds.). p. 227-235 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12136 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference publication

  • 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 proceedingConference publication

    Open Access
    File
  • 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 journalArticlepeer-review

    Open Access
    File
  • Precise subtyping for synchronous multiparty sessions

    Ghilezan, S., Jakšić, S., Pantović, J., Scalas, A. & Yoshida, N., Apr 2019, In: Journal of Logical and Algebraic Methods in Programming. 104, p. 127-173 47 p.

    Research output: Contribution to journalArticlepeer-review

Your message has successfully been sent.
Your message was not sent due to an error.
If you made any changes in Pure these will be visible here soon.