Dylan J. Wolff

Software Engineering and Security Researcher

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.


Jul 15, 2021 Phd
Dec 12, 2020 Popl21
Jun 4, 2020 Startup

selected publications

  1. Value Mutation Testing For SMT Solvers
    Wolff, Dylan
    Proceedings of the ACM on Programming Languages (SRC) 2021