Junfeng Xu
I am a software developer with an interest in programming languages and theorem proving.
I graduated from the University of British Columbia with a Master of Science degree in Computer Science in November 2023. At UBC, I worked on formalizing and implementing programming language metanotations with Professor William Bowman.
I previously studied Computing at Imperial College London, graduating in 2019 with First Class Honours.