Matthew Alan Le Brun
Research Assistant at University of Glasgow
Member of CoLab ◦ Concurrency Lab
Glasgow's junior representative for SPLI
Email: matthewalan.lebrun -at- glasgow.ac.uk
Research Assistant at University of Glasgow
Member of CoLab ◦ Concurrency Lab
Glasgow's junior representative for SPLI
Email: matthewalan.lebrun -at- glasgow.ac.uk
I am a research assistant at the University of Glasgow, on the EPSRC funded project Uni-Pi. My research interests are in Concurrency Theory, Programming Languages, Behavioural Types, and Distributed Computing.
I recently completed my Ph.D. in the School of Computing Science at the University of Glasgow, supervised by Ornela Dardha, Simon Fowler, and Paul Harvey. My Ph.D. research spanned the areas of Concurrency, Programming Languages, Behavioural Types, and Fault Tolerance. In essence, I explored type systems for message-passing programs that are prone to networking errors.
I am a member of the Formal Analysis, Theory and Algorithms (FATA) group, and the Programming Languages Theme. I am also Glasgow's junior representative within SPLI.
Previously, I obtained my M.Sc. and B.Sc. from the University of Malta, supervised by Adrian Francalanza. My research focus was in distributed computing, consensus algorithms and runtime verification.
Since 2023, I have acted as primary supervisor for 1 MSc CS+ student, and 1 MSci (integrated masters) student.
In 2023 I spent a month on secondment at Carnegie Mellon University, hosted by Frank Pfenning and Stephanie Balzer. During the time, we conducted an initial investigation of logical interpretations of session types for failure-prone message-passing systems.
This secondment was funded by the BehAPI project (awarding me €2,000), and University of Glasgow's College of Science and Engineering (awarding me £2,000 as a successful applicant of the mobility scholarship).