Person. Zhixuan Yang [zhixuanyang]

https://yangzhixuan.github.io/

Postdoc interested in algebraic and logical methods in computer science at Imperial College London.