Scholar
Duncan Paul Attard
Google Scholar ID: K5vX5KQAAAAJ
University of Glasgow and Reykjavik University
Citations & Impact
Citations
228
H-index
8
i10-index
8
Publications
20
Co-authors
14
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Publications include book chapters such as 'A Runtime Monitoring Tool for Actor-Based Systems'; journal articles like 'A Monitoring Tool for Linear-Time μHML'; conference and workshop papers such as 'Reversible Computation vs. Runtime Adaptation in Industrial IoT Systems', among others, with some receiving best paper awards.
Research Experience
- Completed his first postdoctoral research experience in the Programming Languages Theme at the University of Glasgow in the UK. Currently working as a postdoctoral researcher at the University of Malta under the supervision of Adrian Francalanza.
Education
- Obtained a BSc (Hons) degree in Computer Science and Artificial Intelligence from the University of Malta. Completed a PhD in Computer Science jointly awarded by Reykjavík University (Iceland) and the University of Malta (Malta). Supervised by Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir.
Background
- Research interests include 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.
Miscellany
- Participated in various academic speaking engagements, including being a speaker at CodeBEAM 2024 - The Erlang and Elixir Conference in Europe; keynote speaker at PLAID 2024 - 1st Workshop on Principles, Theory, and Practice for Decentralised Applications, etc.
