A bit about me
I graduated from the University of Arizona with a B.S. in Software Engineering and now work at AWS on tax and invoicing infrastructure that processes millions of transactions worldwide — a domain where a single bad computation has real financial consequences, so correctness and reliability come first in everything I build.
That same instinct for correctness shows up across my work: from formally verifying tax rule changes with SMT solvers, to designing idempotent APIs that can never double-charge a customer, to leading my senior capstone team in building an AI-assisted patient monitoring system alongside biomedical and computer engineers. I like problems where being "mostly right" isn't good enough.
