Stephen Ellis
PhD Student
Stephen Ellis is a PhD student under the supervision of Professor Nobuko Yoshida. He previously earned a master’s degree at Radboud University where he read Mathematical Foundations of Computer Science. Current research is focused on concurrent program equivalence.