Mitchell Smith Email & Phone Number

Seattle, WA, US

Seattle, Washington, United States

• Developing internal web security tooling for Amazon Web Services

Gaithersburg, MD

• 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

College Park, Maryland, United States

• 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)

Arlington, Virginia, United States

• 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

Colorado, United States

• 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.
• Performed code review in low-level, security-critical environments

Washington D.C. Metro Area

• 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

Bowie, Maryland

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

College Park, Maryland

• 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