Zhixuan Yang

Imperial College London

Email: s.yang20 followed by imperial.ac.uk

Mastodon: @zyang@mathstodon.xyz

I am interested in logical and algebraic methods in programming languages. The main theme of my research is designing and analysing formal languages that can be used for describing complex things easily. During my PhD, I focused on developing a modular treatment of the syntax and semantics of higher-order algebraic effects.

Education

Employment

  • During 2019–2020, I worked as a software engineer for Sourcebrella, Inc, a start-up company making commercial static program analysers, founded by Xiao Xiao.

My name Zhixuan, which is the pinyin transcription of Chinese '至轩', is mysterious for non-Chinese speakers. An approximation of its pronunciation is gee-shaun, but I am happy with whichever way people pronounce it, so don't let it be an obstacle if you want to talk to me!

I have recently started writing down more notes about my thoughts using Forester. Currently there is only one unfinished note on Synthetic Tait Computability.