Experience

Veridise

• United States
• Computer and Network Security
• 1 - 100 Employee

• VP of Auditing

  • Jul 2023 - Present

  Managing and scheduling audits, auditing, auditor training, and writing tools to help our team improve security!

• Research Scientist/Auditor/SE

  • Jan 2023 - Jul 2023

  I develop program analysis tools at Veridise to catch security vulnerabilities in smart contracts and zk circuits. I also audit smart contracts and zk circuits, working with a team to search the source code for errors, attack the protocol, and run our tools against the contract.



Berkeley Lab

• United States
• Research Services
• 700 & Above Employee

• Lab Affiliate

  • May 2021 - Aug 2021

  I worked to apply the Bricks library, a data layout and DSL for performance-portable stencil computations, to the GENE code, a phase-space SciDAC fusion code. I gave weekly reports to my project supervisor, extended Bricks to support complex types, and extensively analyzed the data movement of kernels typical of phase-space fusion simulation on Tesla V100 GPUs using NSight Compute and roofline modeling. I worked to apply the Bricks library, a data layout and DSL for performance-portable stencil computations, to the GENE code, a phase-space SciDAC fusion code. I gave weekly reports to my project supervisor, extended Bricks to support complex types, and extensively analyzed the data movement of kernels typical of phase-space fusion simulation on Tesla V100 GPUs using NSight Compute and roofline modeling.



Baylor University

• United States
• Higher Education
• 700 & Above Employee

• Research Assistant

  • May 2019 - Aug 2020

  I am responsible for creating a code base to interface from the automated finite elements library Firedrake into the layer potential evaluation library pytential. I combined these libraries to evaluate a radiating solution to the Helmholtz equation using finite element methods and a nonlocal boundary condition. We leveraged low-rank approximations and matrix-free methods to extend our method efficiently into the 3-dimensional case. Our paper is in submission (arxiv linked below). The library I implemented is the interop portion of the meshmode library, which was created by Dr. Andreas Kloeckner at UIUC. Show less



United States Department of Defense

• United States
• Armed Forces
• 700 & Above Employee

• DSP Participant

  • May 2018 - Aug 2018

  2018 DSP Participant. 2018 DSP Participant.



San Diego State University

• United States
• Higher Education
• 700 & Above Employee

• REU Researcher

  • May 2017 - Aug 2017

  Participated in 2017 San Diego State University Research Experience for Undergraduates, funded by NSF REU grant 1061366. We researched Augmented Hilbert Series for Numerical Semigroups. Our paper (linked below) appeared in Volume 19 of Integers, a Journal of Combinatorial Number Theory. Participated in 2017 San Diego State University Research Experience for Undergraduates, funded by NSF REU grant 1061366. We researched Augmented Hilbert Series for Numerical Semigroups. Our paper (linked below) appeared in Volume 19 of Integers, a Journal of Combinatorial Number Theory.