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 (34)
portable10
parallel10
computation10
targeting10
image-processing10
dsl10
halide10
parallel-computing10
gpu10
arm10
compiler10
lifting10
sequential10
tla9
hardware9
Programming languages (4)
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
instructionshigh-levelhardwarecompilingdsls
uwplse/dexter
Aug 2019 - Aug 2020
Contributions:18 commits, 5 pushes in 1 year
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.