Before 2019, I was a Post-doctoral RA in the Department of Computing at Imperial College London (2015–2019), where I completed my PhD Computing degree (2010–2014) under the supervision of Professor Nobuko Yoshida and Professor Wayne Luk. The title of my thesis is Safe and Scalable Parallel Programming with Session Types.
My research centres around a typing system for the Pi-calculus (session types) and its practical applications as a programming abstraction and model, verification technique, and a means of understanding concurrency in high performance and parallel computing systems. I am a member of Mobility Reading Group. See my publications on DBLP or my main publications here.
GoInferstage of the
GoInfer/Gongtoolchain. I also developed gospal, part of the static analysis framwork Godel Checker.
I received my MEng Computing degree from Imperial College London (2006 - 2010) with my award-winning final year individual project titled High performance parallel design based on session programming.
I was a RA representative (2015–2018) at the Department of Computing for the PFDC (formerly PDC) rep network, where I helped organising the now-annual DoC RA Symposium (2017, 2016). I was previously a PhD student representative (2010–2013) in the same department (see here for current departmental contacts). Until 1st August 2013, I was Academic and Welfare Officer for Faculty of Engineering students in the Graduate Students' Union (GSU) (formerly Graduate Students' Association (GSA)) of Imperial College Union (2012–2013). I was a founding member of the Imperial College London ACM Student Chapter committee (2013–2014), and also part of the steering committee of Imperial College Computing Student Workshop (ICCSW) (2014, 2013, 2012, 2011). For more details about the Imperial College London ACM Student Chapter, please visit their website.