MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Stephen Ellis (he/him)

PhD Student

Publications

Stephen Ellis is a DPhil 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.

Publications

2022

Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song: Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid. OOPSLA 2022 : 168:1 - 168:29.