Daroc Alden's Resumé









Experience



NetAppSoftware Engineer

May 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-IOLLead Architect

May 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.



CognaisentConsultant

December 2017 - August 2018

Built a novel Machine Learning framework and web-based visualization tools for introspecting and supervising the framework's learning.



Education



University of New HampshireMaster'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 HampshireBachelors of C.S.

September 2016 - May 2019

Focused on algorithms, optimization, and AI. GPA: 3.9



Projects and Papers



Exploring the Abstract CalculusBeta-Optimal Lambda Calculus Evaluation

An optimal interpreter for the Lambda Calculus based on Lévy and Lafont.



Automatically Generating ROP Exploits with Partial Order PlanningWorking Title

A novel planning algorithm for automatically generating ROP exploits for binary programs.