PhD within CoLab

If you are interested in persuing high-quality PhD research in the areas of programming languages, concurrency, logic, and verification, then please contact me.

Also, if you are in Glasgow you can come and visit our Concurrency Lab (CoLab) in the School of Computing Science, in rooms F142/F143. We want to grow!

You can find information about the application process here.

Official CoLab Logo

CoLab Members

Matt

Matthew Alan Le Brun

PhD Student at Univerisity of Glasgow

Supervised from January 2022

Mathias

Mathias Jakobsen

PhD Student at Univerisity of Glasgow

Supervised from October 2020

Uma

Uma Zalakain

PhD Student at Univerisity of Glasgow

Supervised from October 2019

Rongxiao

Rongxiao Fu

PhD Student at University of Edinburgh (co-supervised with Michel Steuwer)

Supervised from October 2019

Luke

Luke Gall

MSci Student at Univerisity of Glasgow

Supervised from September 2021

Lena

Magdalena Latifa

L4 Student at Univerisity of Glasgow

Supervised from September 2021

Former Students

Laura

A. Laura Voinea

Now Research Associate at University of Kent

Previously PhD Student at University of Glasgow (co-supervised with Simon J. Gay)