Duncan Paul Attard

Duncan Paul Attard is a postdoctoral researcher at the University of Glasgow in the UK. He has a PhD in Computer Science from Reykjavik University (Iceland) and the University of Malta (Malta). His main research interests lie in runtime monitoring and verification for concurrent systems, the automated synthesis of efficient runtime monitors, and software engineering techniques to address scalability and partial failure in distributed systems. He is also interested in the semantics of programming languages, language design, and concurrent languages. Duncan works at the University of Glasgow on safe communication in concurrent languages using Mailbox Types.