Dylan J. Wolff

Software Engineering and Security Researcher

15 Manet Circle

Newton, MA 02467

I’m a graduate student at ETH Zurich pursuing a masters in Computer Science with a focus in Information Security. Specifically I am interested in leveraging static and dynamic program analysis (as well as verification) techniques to find and prevent bugs in software. Before starting my masters, I 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