About Me
Index
Your Title
I am a PhD student at Yale university supervised by Zhong Shao. My research interest lies in quantum computing, formal verfication, concurrency, semantics and logic.
Featured Publications
Featured Projects
AI Math
completed
2020 - 2020
The MathsSolver program will allow a user to upload a picture of a handwritten maths problem or type the problem which will then be solved by the program.