Hello! I am a third-year Ph.D. student at the Department of Computer Science of Boston University, advised by Prof. Marco Gaboardi and Prof. Alley Stoughton. Before joining BU, I received an M.S. degree in Computer Science, and an A.B. degree in Computer Science and Mathematics from Dartmouth College, where I was advised by Prof. Prasad Jayanti.