Daniel Garcia
Boston, Massachusetts, United States
Summary
👤
SeniorDaniel Garcia is a software engineer with 11 years of hands-on experience building secure, production-grade systems and currently contributes to AWS. With a Master's in Computer Science from UT Dallas and research experience in formal methods, Coq proofs, and RISC-V binary manipulation, he specializes in high-assurance software and low-level correctness. He has production experience migrating and modernizing backend systems, developing on Linux, and shipping services at scale from roles at Alkami and Credera to enterprise cloud at AWS. Comfortable across research and applied engineering, he blends formal verification techniques with practical OCaml and systems programming skills that most application engineers rarely possess. Based in Plano, TX, he pairs a curiosity-driven approach to software internals with a track record of mentoring and collaborative development.
12 years of coding experience
Github Skills (53)
raspberry-pi-pico10
controller10
gamepad10
joystick10
arcade10
server-side10
rp20409
firmware9
webrtc9
nodejs9
rust8
album-art8
flac8
sfu8
mp38
Programming languages (9)
Github contributions (5)
AthnGabla/Robot-Controller
Sep 2014 - Jul 2016
Contributions:10 commits, 2 pushes in 1 year 10 months
CryHavoc21/cryhavoc21.github.io
May 2023 - Nov 2024
Contributions:1 push, 1 branch in 1 year 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.