
Software Engineer with experience building secure, scalable enterprise applications at Barclays Investment Bank, specializing in authentication, CI/CD automation, and Salesforce‑driven process optimization. Delivered backend platforms and system integrations for customer‑facing applications, with prior experience developing aviation display control systems at Collins Aerospace and conducting graduate research in program verification at Iowa State University.
Master’s thesis on program verification using dynamic invariants and a theorem prover (Daikon, SAW, Cryptol) under Prof. Myra Cohen and Prof. Samik Basu, Department of Computer Science.
Designed and implemented an application which performs transport controls of HDMI CEC devices supported in Venue Systems to help users communicate with a display unit in an aircraft, enabling one remote control to interface with all the audio video components in a system. (C/C++, C#, Python)
Core Skills: Data Structures, Algorithms, OOP, DBMS, Web Development, Machine Learning, Operating Systems, Computer Networks
Technical Skills: C/C, Java Spring, GenAI, C#, Salesforce, Kubernetes, Jenkins, Git, SQL, HTML/CSS, JavaScript, SAW, Cryptol, LLVM
Introduction to Artificial Intelligence (AI) - IBM, 2026