15 Manet Circle
Newton, MA 02467
I’m a PhD candidate at the National University of Singapore. Specifically I am interested in leveraging static and dynamic program analysis (as well as verification) techniques to find and prevent bugs in software, with a particular focus on testing and fuzzing. Before starting my PhD, I did my masters at ETH Zurich. I also worked at Mathworks on a variety of projects, mostly involving testing and deployment infrastructure for web applications.
I’m also a recovering ultimate frisbee addict, after 12 years of competitive play, starting in high school. In that time I’ve played in two different semi-professional leagues and also won a world championship in 2013 with team USA in Toronto.
- Value Mutation Testing For SMT SolversProceedings of the ACM on Programming Languages (SRC) 2021