• Developing internal web security tooling for Amazon Web Services

• Developed distributed photo viewing systems using a mix of Spring, RabbitMQ, and JPA• Mocked database interactions to enable unit testing and boost code coverage by >80% • Implemented injectable Spring components for rapid integration test development and further code quality assurance• Migrated legacy codebases to JDK17: introducing maven for dependency management, libsodium for encrypting user credentials, JMeter for REST API testing, et cetera

• Designed curriculum for the yet-to-be-introduced CMSC141 and CMSC142.• Assisted Professors David Van Horn and Jose Calderon with developing course infrastructure and reviewing assignment requirements, topic arrangement, et cetera

• Designed programs to replicate proprietary protocols and evaluate API security• Reverse engineered embedded systems to determine potential vulnerabilities using Ghidra• Utilized digital logic analyzers to identify unknown interfaces and determine serial access points• Implemented DVC pipelines for JSON-guided firmware repackaging, configured QEMUenvironments for embedded software testing, and documented cross-compilation techniques• Developed Python scripts to automate firmware analysis and exploitation

• Facilitated weekly group study sessions for UMD’s CMSC216 course: led curriculum on Unix-based development, C-programming, assembly, and operating systems concepts (I4C)• Provided 1:1 tutoring services for CMSC131, CMSC132, CMSC216, and CMSC330 (I4C)

• Developed backend static analysis tools to autonomously assert code security across more than 100,000 repositories (later scaled to scan all changes inside AWS)• Integrated security tooling with internal build systems using Java, supported over 200 users• Collaborated with several teams on project, published 86 commits across 28 packages• Produced company-wide wiki documentation and onboarded internal consumers• Centralized SERDE logic, implemented JSON versioning, rapidly produced patches for dependencies, and introduced QuickCheck-based unit testing

• Applied fuzzing as a means to analyze and improve FPGA firmware security• Refactored unit tests to employ coverage-guided fuzzing over a broad C/C++ codebase• Integrated code query language and Z3 constraint solver to formally verify application integrity• Prepared documentation on best practices as well as automation scripts for code coverage reporting, cyclomatic complexity analysis with GNU complexity and pmccabe, user-defined autonomous fuzz testing, and more to share with other teams• Performed code review in low-level, security-critical environments

• Practiced defensive coding, object-oriented principles, and AGILE development• Implemented Microsoft Entity framework databases and ASP.NET MVC design patterns• Microsoft 70-483 certified for C# development, prepared for 70-486 + MCSD certification

• Published work schedules, trained personnel, and administered first aid• Learned effective communication skills and proper management practices

• Solved the Toda lattice using an autonomous inverse scattering transform implemented in Mathematica and programmed auxiliary soliton models in MATLAB• Presented research as a 2019 Intel International Science and Engineering fair finalist• Reviewed academic papers with a focus on nonlinear dynamic systems