« Home
Person.
Zhixuan Yang
[zhixuanyang]
Imperial College London
·
https://yangzhixuan.github.io/
Postdoc interested in algebraic and logical methods in computer science at Imperial College London.