Love Program Analysis/Program Languages and Formal Methods
Company:Amazon Web ServicesLocation:Cupertino