Programming Languages and Systems Researcher at Adobe, Seattle. I work primarily on program synthesis and verification.
-
Adobe
- Seattle
- http://maazsafeer.com
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
Starstruck
Loading