After obtaining a BSc (Hons) degree in Computer Science and Artificial Intelligence from the University of Malta, I pursued a software development career for seven years.

I have since completed a PhD in Computer Science from Reykjavík University (Iceland) and the University of Malta (Malta). I am a second-year postdoctoral researcher in the Programming Languages Theme at the University of Glasgow in the UK.

Research interests

Runtime monitoring and verification of concurrent and distributed systems • automated synthesis of efficient runtime monitors • software engineering for scalability and partial failure in distributed systems

Semantics of programming languages • concurrent languages • compiler construction • formal modelling and verification of systems • resource usage analysis • multi-agent systems

Publications

Book chapters

Journals

Conferences and workshops

Theseses

  • Runtime Monitoring for Asynchronous Reactive Components, PhD thesis

    advised by Francalanza, A., Aceto, L., Ingólfsdóttir, A.

  • Towards Modular Monitoring for Concurrent Systems, MSc thesis

    supervised by Francalanza, A.

  • A Lexicon Server Toolkit for Maltese, BSc (Hons.) undergraduate thesis

    supervised by Rosner, M., Abela, J.

  • Talks

    • CodeBEAM 2024 - The Erlang and Elixir Conference in Europe

      Speaker

      Slides

    • PLAID 2024 - 1st Workshop on Principles, Theory, and Practice for Decentralised Applications

      Keynote

      Slides

    • ICE 2023 - 16th Interaction and Concurrency Experience

      Oral communication

      Slides

    Community

    Editor

    • SCP 2025 - Science of Computer Programming (special issue for selected software aretefact from the papers of DisCoTec 2024)

      Guest editor

    Committees

    • Erlang 2024 - 23th ACM SIGPLAN Erlang Workshop

      Programme committee member

    • FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

      Artefact evaluation committee co-chair

    • FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

      Programme committee member

    • ICE 2023 - 16th Interaction and Concurrency Experience

      Programme committee member

    • ICE 2022 - 15th Interaction and Concurrency Experience

      Programme committee member

    • VORTEX 2022 - 4th Workshop on Verification and Monitoring at Runtime Execution

      Workshop programme committee member and organiser

    • DisCoTec 2021 - 16th Federated Conference on Distributed Computing Techniques

      Workshops chair and organiser

    • DisCoTec 2020 - 15th Federated Conference on Distributed Computing Techniques

      Workshops chair and organiser

    Sub reviewing

    SEFM 2023 • FORTE 2023 • TACAS Tools 2022 • RV 2021 • JOT (special issue for VORTEX 2022) • NWPT 2019 • RV 2018 • ICTAC 2018 • SEFM 2017

    Teaching

    Courses

    Tutorials

    • CPS2001 - Programming Paradigms

      University of Malta • Semester 1, 2017 - 2021

    • CPS3238 - Principles of Programming Languages

      University of Malta • Semester 1, 2018 - 2020

    • CPS1011 - Programming Principles in C

      University of Malta • Semester 1, 2015 - 2016

    Open source

    Past and ongoing development work

    • detectEr

      An asynchronous runtime verification tool written for programs developed in the Erlang language.

    • Programming Paradigms

      Tutorials, examples and accompanying material for the CPS2001 - Programming Paradigms course given at UM.

    • BonBon

      A minimalistic and clean LATEX theme for Beamer.