Computer Laboratory

Leran Cai

I am currently a PhD student in the Programming, Logic, and Semantics Group of the Computer Laboratory, fully funded by Trinity College (IGS).

My interest lies in algorithms, probability theory and graph theory. Now I am working on exploring new algorithms based on random walks and Markov chains and supervised by Dr Thomas Sauerwald.

I earned my Master's degree in Advanced Computer Science from the University of Cambridge in 2016, passing with distinction.


Cai, L., Sauerwald, T. (2017) Randomized Load Balancing on Networks with Stochastic Inputs. The 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). [arXiv preprint]


I am currently supervising, have supervised, the following courses:

As a product of preparing these supervisions, I have also created some notes to help students revise for their exams.


Leran Cai
Office FE13
Programming, Logic, and Semantics Group
Computer Laboratory
University of Cambridge
15 JJ Thomson Avenue
Cambridge CB3 0FD
United Kingdom

Phone: +44 (0)1223 763722

Email: leran [dot] cai [at] cl [dot] cam [dot] ac [dot] uk