Maaz Bin Safeer Ahmad
Research Scientist at Adobe
Seattle, Washington, United States
Summary
🤩
RockstarMaaz Bin Safeer Ahmad is a research scientist based in Seattle with 11 years of experience focusing on program synthesis and verification. Currently at Adobe, he researches programming languages and systems, blending theoretical rigor with practical tooling to make code generation and correctness more reliable. His background suggests deep familiarity with formal methods and automated reasoning applied to real-world developer workflows. Colleagues can expect a researcher who bridges academic concepts and product-grade implementation, advancing developer productivity at scale. An understated strength is his sustained focus on synthesis and verification within an industry setting, signaling both domain expertise and applied impact.
11 years of coding experience
Github Skills (20)
image-processing10
dsl10
synthesis10
data-parallel10
halide10
dafny10
hardware10
java10
gpu10
z310
compiler10
lifting10
spark9
tla8
tlaplus8
Programming languages (7)
Github contributions (5)
uwplse/rake
Feb 2020 - Sep 2022
compiling DSLs to high-level hardware instructions
Contributions:626 commits, 26 pushes, 6 branches in 2 years 8 months
hardware
uwplse/Casper
Jul 2016 - Oct 2022
A compiler for automatically re-targeting sequential Java code to Apache Spark.
Contributions:3 releases, 112 commits, 1 PR in 6 years 3 months
apache-sparkcompilerjavasparkdafny
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.