Members‎ > ‎

Alceste Scalas

Alceste Scalas was a PhD student at the Department of Mathematics and Informatics of the University of Cagliari, supervised by Massimo Bartoletti, and supported by a grant from MIUR (Italian Ministry of University and Research).  Since June 2015, he is a Research Associate at Imperial College London - Mobility Reading Group: see his new home page.

He earned his PhD in May 2015 (score: excellent).  Before his PhD studies, he earned a BSc and a MSc in Informatics (both with honours) at the University of Cagliari, and has been involved in research and development projects at CRS4 (Center for Advanced Studies, Research and Development in Sardinia).

Research interests

Formal methods, concurrency, distributed systems, contract-oriented computing, contracts, behavioural and session types, programming languages.

Peer-reviewed publications

Peer-reviewed workshops (without formal proceedings)

  • M. Bartoletti, A. Scalas, R. Zunino. Towards a theory of honesty.  HotSpot'14, 5 April 2014, Grenoble, France.
  • M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. Honesty by typing (preliminar version).  BEAT'13, 22 January 2013, Rome, Italy.
  • M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. What if contracts are violated? (short paper).  FLACOS'12, 19 September 2012, Bertinoro, Italy.

PhD Thesis

A semantic deconstruction of session types.  Successfully defended on May 2015 (final score: excellent)

Research projects

  • During PhD:
  • Past:
      2006-2010 (at CRS4): MIUR FAR 630 project "Innovative models and methodologies for control, diagnostics and management of combined gas-steam thermoelectric power plants, under highly variable and perturbed working conditions". Tasks: design, development and formal analysis of a framework for parallel and distributed real-time numerical computing, aimed at industrial applications. Author of the Foreign Function Interface for Erlang proposal (EEP 7).
      2001-2002 (at CRS4): MIUR LAPS Cluster 22, Project 41D "Laboratory for Advanced Design and Simulation". Tasks: analysis of existing volume/CSG rendering software, implementation of additional algorithms, evaluation for applicability on various tasks (medical imaging, industrial processes).

Other writings

Other public talks, seminars, etc.

    A. Scalas. A gentle introduction to concurrency theory.
    M. Bartoletti, A. Scalas, R. Zunino. A semantic deconstruction of session types.
    • Imperial College London, December 4, 2014.
    • University of Glasgow, February 3, 2015.
    M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. Contract-oriented computing in CO2. Presented at:
    • University of Cagliari - MSc Seminar, course on "Foundations of security" (December 17-18, 2013)
    • OPLSS 2013 Student Talks (August 1, 2013)
    • University of Cagliari - PhD/MSc Seminar, course on "Foundations of security" (March 26, 2013)
    • University of Pisa - "Mauriana Pesaresi" PhD Seminars (December 13, 2012)
    • University of Leicester - PhD Seminars (October 4, 2012)
    • FOSAD 2012 - open session (September 8, 2012)

Other PhD activities