Zhixuan Yang 杨至轩
Imperial College London
I am most interested in understanding underlying mathematical and logical structures of programming and programming languages, and developing rigorous reasoning techniques that guide programmers to construct correct programs.
Towards these, my general research strategy is searching for recurring patterns in programming practice and abstracting them as formal systems such as type systems and logic systems.
From 2017 to 2019, I worked with Josh Ko, Ichiro Hasuo and Zhenjiang Hu as a postgraduate student at the National Institute of Informatics, Japan (joint with SOKENDAI, the Graduate University for Advanced Studies) and obtained a Master of Informatics.
In this period I studied techniques to do equational reasoning about programs manipulating data structures based on pointers (see my Master's thesis). Also, I worked with Zirun Zhu and Josh on formalising stronger lens properties called retentive lenses in the context of bidirectional transformations.
From 2013 to 2017, I did my Bachelor of Science at Peking University where I majored in computer science and technology.
Here Yingfei Xiong introduced me to programming language theory, which I immediately took as the subject that I would spend my career on. I also worked on distributional word representations for a while.
My name Zhixuan, which is the pinyin transcription of Chinese '至轩', is mysterious for non-Chinese speakers.
An approximation of its pronunciation in English is
(If you are interested in the exact pronunciation, you can try command
say -v Ting-Ting '至轩' to hear it if you
are using a Mac.)
A nick name that I am happy to be called by is Shaun, which rhymes with the 'shoe-enn' part of my name.