NetApp — Software Engineer
May 2021 - PresentDeveloped cloud-native storage solutions for multiple hyperscalers. Worked with the FreeBSD kernel. Wrote detailed threat models and documentation for NetApp's ONTAP software.
UNH-IOL — Lead Architect
May 2016 - May 2021Architected and developed a globally used test tool for networking equipment (Violett). Dealt with customer requests and wrote external documentation. Administered internal servers and test infrastructure, focusing on tool reliability. Trained and managed Avnu team. Started in May 2015 as an intern.
Cognaisent — Consultant
December 2017 - August 2018Built a novel Machine Learning framework and web-based visualization tools for introspecting and supervising the framework's learning.
University of New Hampshire — Master's in C.S.
September 2018 - PresentFocused on Programming Language Theory and Computer Security. GPA: 4.0. Advisor: Dr. Phillip Hatcher.
University of New Hampshire — Bachelors of C.S.
September 2016 - May 2019Focused on algorithms, optimization, and AI. GPA: 3.9
Exploring the Abstract Calculus — Beta-Optimal Lambda Calculus Evaluation
An optimal interpreter for the Lambda Calculus based on Lévy and Lafont.
Automatically Generating ROP Exploits with Partial Order Planning — Working Title
A novel planning algorithm for automatically generating ROP exploits for binary programs.