Academic

Research

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.

• Go: I developed dingo-hunter, a static deadlock detector for the Go programming language, based on global graph synthesis technique by Lange, Tuosto and Yoshida at POPL'15. The tool is later reused for part of type inference tool GoInfer stage of the GoInfer/Gong toolchain. I also developed gospal, part of the static analysis framwork Godel Checker.
• Pabble: I develop and maintain a parameteric extension to the Scribble protocol description language, called Pabble, to describe high-level interaction protocols for scalable parallel applications.
• Session C: I developed Session C, a programming framework for C language based on the theory of session types, to guarantee communication safety and free of communication deadlocks in message-passing based distributed parallel applications.

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.

Misc

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.