Marietta Galea's website

Marietta Galea

I am a PhD student in Computer Science at the University of Malta, supervised by Adrian Francalanza and Giovanni Bernardi. My research focuses on runtime monitoring, concurrent systems and formal methods. I also form part of the VELOCiTY research group.

Prior to starting my PhD, I obtained a BSc. (Hons.) in Mathematics and Computer Science from the University of Malta. I am interested in developing mathematically rigorous techniques for proving the correctness of runtime monitors.

Research Interests

Runtime monitoring
Porgramming language semantics
Formal methods
Concurrent systems

Publications

Workshops

Reversible Computation vs. Runtime Adaptation in Industrial IoT Systems in CORSE2025

with Duncan Paul Attard, Keith Bugeja, Adrian Francalanza, Gerard Tabone and Gianluca Zahra.

Theses

Expressing Monitors using Algebraic Effects in OCaml, BSc. (Hons.) dissertation in Computer Science

supervised by Adrian Francalanza.
The Orientable Genus of Bipartite Graphs and their Products, BSc. (Hons.) dissertation in Mathematics

supervised by John Baptist Gauci.

Teaching

Tutorials

CPS 3238: Principles of Programming Languages (University of Malta, 2024 - 2025)
CPS 3239: Computability (University of Malta, 2024 - 2026)

Committees

COORDINATION 2025

Artefact evaluation committee member

BACK TO TOP