Maaz Ahmad

http://maazsafeer.com [email protected]

Adobe Seattle Programming Languages and Systems Researcher at Adobe, Seattle. I work primarily on program synthesis and verification.