Software engineering professional with 10+ years building math-heavy production systems at scale: derivatives pricing engines, ML pipelines, compilers and runtimes, and formal-methods tooling. I translate algorithmic models, optimization routines, and quantitative research into reliable services, lead design reviews, and partner with researchers to ship decision-making infrastructure.
- Quantitative & numerical systems — rate-derivatives pricing on Athena, HPC job orchestration, tick-data tooling and backtesters.
- Machine learning in production — ranking pipelines (xgboost, t-SNE), real-time ad bidding under tight latency budgets, distributed training and inference on AWS.
- Compilers & language tooling — a Python/Cython compiler and runtime for a portfolio-valuation DSL, a static analyzer for a silicon-photonics netlist protocol, formal-methods experiments with Spin/LTL.
- Platform & infra — multi-threaded Linux services, Docker Swarm, Kubernetes, OpenShift, Jenkins CI/CD, upstream contributor to Docker BuildKit.
J.P. Morgan · Liftoff · SocGen · Siemens EDA · GE Healthcare · Aptiv · plus prior roles spanning investment banking, fintech software vendors, mobile ad-tech, semiconductor EDA tooling, and academic research
English · Français · 中文