Daniel Garcia
Software Engineer at Amazon Web Services (AWS)
Plano, Texas, United States
Summary
👤
Senior🎓
Top SchoolDaniel 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.
11 years of coding experience
3 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Junior, Bachelor of Science - BS, Computer Science, Junior at The University of Texas at Dallas
Github Skills (57)
raspberry-pi-pico10
controller10
gamepad10
joystick10
arcade10
server-side10
mp39
firmware9
webrtc9
nodejs9
rust8
mediasoup8
rp20408
music8
audio8
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.