About Me

My name is Xin Zhang (Amanda). I graduated from the University of Oxford in 2022 with BA in Computer Science, and I'm currently a PhD student advised by Prof. Adam Chlipala at Massachusetts Institute of Technology. My research interests are in formal verification, programming languages and computer security.