Software developer with pure-math training: I reason deeply about why solutions work and how to optimize them. Backend: Python, AWS (Lambda/API GW/S3/IAM), MongoDB, Git. Also C + frontend (HTML/CSS).