Programming Languages and Systems Researcher at Adobe, Seattle. I work primarily on program synthesis and verification.
-
Adobe
- Seattle
- http://maazsafeer.com
maaz139 isn’t following anybody.
Learn more about being social on GitHub.