Matthew Alan Le Brun
Ph.D. student at University of Glasgow
Member of CoLab ◦ Concurrency Lab
Glasgow's Ph.D. representative for SPLI
Email: m.le-brun.1 -at- research.gla.ac.uk
Ph.D. student at University of Glasgow
Member of CoLab ◦ Concurrency Lab
Glasgow's Ph.D. representative for SPLI
Email: m.le-brun.1 -at- research.gla.ac.uk
I am a final year Ph.D. student in the School of Computing Science at the University of Glasgow, supervised by Ornela Dardha, Simon Fowler, and Paul Harvey.
My Ph.D. research spans the areas of Concurrency, Programming Languages, Behavioural Types, and Fault Tolerance. In essence, I explore 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 Ph.D. student 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 and consensus algorithms.
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).