The role This role involves leading research under the supervision of Professor Meng Wang on the EPSRC project Complex Semantics for Higher Order Abstract Syntax . The project builds on our recent papers: Contextual Embeddings: Implementing Bound Variables through Instance Resolution (PLDI 2026) and