NetApp — Software EngineerMay 2021 - Present
Developed 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 ArchitectMay 2016 - May 2021
Architected 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 — ConsultantDecember 2017 - August 2018
Built 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 - Present
Focused 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 2019
Focused 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.