Jingjie Yang
Biography
As of October 2026, I will be a 4th year DPhil student supervised by Prof Bartek Klin. Before that, I spent 4 years here at Univ, Oxford for an undergraduate master's degree in maths and computer science; Bartek also oversaw my master's thesis.
My research interest is in the computation theory with atoms (in the set-theoretic sense). The idea is to take a model of computation, replace the finite components – e.g. the states and the alphabet – by infinite yet highly symmetric ones, and see what still works / what breaks. In particular, I am interested in using model-theoretic and representation-theoretic tools. There are some more details (as well as minor errors) in my thesis proposal and my literature review.
Teaching (HT '26): my slides for logic and proof – Sheet 1 | Sheet 2 | Sheet 3 | Sheet 4 | Sheet 5 | Sheet 6
Talks (TT '26): I am presenting recent work with Mikołaj Bojańczyk and Bartek at the Oxford logic-automata-algebra-dynamical-systems reading group, AAA 109 + SAL 2026, and LICS '26.