Meta tags:
description=Research portfolio of Duncan Paul Attard, postdoctoral researcher in runtime verification, programming languages, and distributed systems.;

Headings (most frequently used words):

duncan, paul, attard, research, interests, publications, talks, community, teaching, open, source, contact, social, journals, conferences, workshops, book, chapters, theses, editor, committees, sub, reviewing, courses, tutorials, detecter, programming, paradigms, bonbon,

Text of the page (most frequently used words):
for (22), and (21), with (19), francalanza (18), the (13), university (11), #programming (11), monitoring (11), aceto (11), ingólfsdóttir (11), malta (10), runtime (10), artefact (9), slides (9), 2017 (8), committee (8), erlang (7), 2024 (7), tool (6), conference (6), programme (6), member (6), systems (6), coordination (6), verification (5), semester (5), 2023 (5), 2022 (5), 2021 (5), workshop (5), components (5), 2025 (5), science (5), computer (5), from (5), achilleos (5), duncan (4), attard (4), 2026 (4), paradigms (4), asynchronous (4), languages (4), 2018 (4), special (4), distributed (4), chair (4), discotec (4), experience (4), cassar (4), research (4), paul (3), theme (3), cps2001 (3), development (3), principles (3), sefm (3), forte (3), issue (3), techniques (3), workshops (3), organiser (3), 16th (3), interaction (3), concurrency (3), ice (3), international (3), software (3), editor (3), scp (3), thesis (3), concurrent (3), time (3), exibard (3), based (2), tutorials (2), language (2), open (2), source (2), 2016 (2), 2020 (2), reykjavík (2), 2019 (2), adrian (2), teaching (2), tools (2), vortex (2), 15th (2), federated (2), computing (2), formal (2), evaluation (2), models (2), selected (2), artefacts (2), papers (2), guest (2), community (2), theory (2), practice (2), elixir (2), talks (2), bsc (2), hons (2), supervised (2), phd (2), reactive (2), cubes (2), instrumentation (2), lehtinen (2), best (2), paper (2), linear (2), μhml (2), extended (2), version (2), publications (2), interests (2), postdoctoral (2), stellar, html5up, linkedin, bitbucket, github, researchgate, orcid, dblp, social, edu, email, blk, lvl, faculty, ict, msida, address, contact, minimalistic, clean, beamer, bonbon, examples, accompanying, material, course, given, written, programs, developed, detecter, past, ongoing, work, cps1011, 2015, cps3238, web, python, joint, present, courses, tacas, jot, nwpt, ictac, sub, reviewing, 4th, execution, 44th, objects, 23rd, acm, sigplan, 27th, 28th, committees, oral, communication, 1st, decentralised, applications, keynote, plaid, europe, speaker, codebeam, undergraduate, rosner, abela, lexicon, server, toolkit, maltese, msc, towards, modular, advised, theses, betty, cost, action, actor, book, chapters, generic, suite, brun, graft, general, purpose, raft, consensus, corse, bugeja, galea, tabone, zahra, reversible, computation, adaptation, industrial, iot, branching, logic, trace, partitioning, local, della, monica, foundation, fase, benchmarking, tutorial, better, late, than, never, verifying, overall, icfp, fowler, sowul, gay, trinder, delivery, mailbox, types, ecoop, distinguished, technical, report, concur, monitorability, modal, calculus, over, data, conferences, journals, resource, usage, analysis, modelling, semantics, monitor, synthesis, second, position, department, working, have, since, completed, iceland, finished, first, glasgow, after, obtaining, degree, artificial, intelligence, pursued, seven, year, career, bio, portfolio,

Text of the page (random words):
duncan paul attard research portfolio duncan paul attard bio research interests publications talks community teaching open source after obtaining a bsc hons degree in computer science and artificial intelligence from the university of malta i pursued a seven year software development career i have since completed a phd in computer science from reykjavík university iceland and the university of malta malta i finished my first postdoctoral research experience in the programming languages theme at the university of glasgow in the uk i am in my second postdoctoral position in the department of computer science at the university of malta working with adrian francalanza research interests runtime monitoring and verification monitor synthesis concurrent and distributed systems programming language semantics formal modelling and verification resource usage analysis publications journals a monitoring tool for linear time μhml in scp 2024 with aceto l achilleos a exibard l francalanza a ingólfsdóttir a artefact conferences monitorability for the modal µ calculus over systems with data from practice to theory in concur 2025 with aceto l achilleos a exibard l francalanza a ingólfsdóttir a lehtinen k extended version runtime instrumentation for reactive components in ecoop 2024 with aceto l francalanza a ingólfsdóttir a distinguished artefact extended version technical report artefact slides special delivery programming with mailbox types in icfp 2023 with fowler s sowul f gay s j trinder p a monitoring tool for linear time μhml in coordination 2022 with aceto l achilleos a exibard l francalanza a ingólfsdóttir a best coordination paper best overall paper artefact slides better late than never or verifying asynchronous components at runtime in forte 2021 with aceto l achilleos a francalanza a ingólfsdóttir a lehtinen k tutorial 1 2 3 artefact on benchmarking for concurrent runtime verification in fase 2021 with aceto l francalanza a ingólfsdóttir a slides a foundation for runtime monitoring in rv 2017 with francalanza a aceto l achilleos a cassar i della monica d ingólfsdóttir a trace partitioning and local monitoring for asynchronous components in sefm 2017 with francalanza a slides a monitoring tool for a branching time logic in rv 2016 with francalanza a artefact slides workshops reversible computation vs runtime adaptation in industrial iot systems in corse 2025 with bugeja k francalanza a galea m tabone g zahra g slides graft general purpose raft consensus in elixir in erlang workshop 2021 with le brun m a francalanza a a suite of monitoring tools for erlang in rv cubes 2017 with cassar i francalanza a aceto l ingólfsdóttir a a generic instrumentation tool for erlang in rv cubes 2017 with cassar i francalanza a aceto l ingólfsdóttir a book chapters a runtime monitoring tool for actor based systems in betty cost action 2017 with cassar i francalanza a aceto l ingólfsdóttir a artefact theses 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 co 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 2026 science of computer programming special issue for selected software artefacts from the papers of discotec 2025 guest editor scp 2025 science of computer programming special issue for selected software artefacts from the papers of discotec 2024 guest editor committees coordination 2026 28th international conference on coordination models and languages programme committee member coordination 2025 27th international conference on coordination models and languages artefact evaluation committee chair erlang 2024 23rd 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 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 cps2001 programming paradigms joint with adrian francalanza university of malta semester 1 2017 present web development in python reykjavík university semester 3 2018 2019 tutorials cps2001 programming paradigms university of malta semester 1 2017 2026 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 l a t e x theme for beamer contact address rm 7 blk a lvl 0 faculty of ict university of malta msida malta email duncan attard um edu mt social dblp orcid researchgate github bitbucket linkedin duncan paul attard 2026 theme based on stellar by html5up