2022 — Now

Redmond, Washington, United States

Working on Azure developer experience.

2020 — Now

Redmond, Washington, United States

2014 — 2020

Bloomington, Indiana Area

Design and implementation of efficient runtime systems for gradually-typed programming languages.

2019 — 2019

Greater New York City Area

Designed and implemented a DSL for automatic differentiation for the Quant Library team.

2018 — 2018

Greater Boston Area

Added polyhedral optimizations to the MATLAB to C compiler.

Indiana University Bloomington

2015 — 2020

Indiana University Bloomington

2013 — 2015

Helwan University

2007 — 2011