Andrew Kent Email and Phone Number
Andrew Kent is a Software Engineer @ AWS Automated Reasoning Group at Amazon Web Services (AWS).
Amazon Web Services (Aws)
View- Employees:
- 72973
-
Software Development EngineerAmazon Web Services (Aws) Feb 2024 - PresentPortland, Oregon, United StatesAutomated Reasoning Group
-
Software Development Engineer - Aws CryptographyAmazon Web Services (Aws) Apr 2022 - Feb 2024RemoteDeveloping cryptographic computing capabilities for AWS customers.
-
Research Software EngineerGalois, Inc. Apr 2019 - Apr 2022Portland, Oregon, United StatesInvestigate and develop solutions to research problems frequently leveraging program analysis, formal methods/verification, domain specific languages, code generation/compilation. -
Graduate Research AssistantIndiana University Bloomington May 2014 - Mar 2019Bloomington, Indiana, United StatesDeveloped novel technique for adding refinement types to a type system for untyped languages (i.e. Typed Racket) which is included in releases of the Racket programming language since v6.11. Modeled and mechanically verified a novel technique for combining semantic subtyping with a type system for untyped languages. Advised by Sam Tobin-Hochstadt. -
Research InternMicrosoft Research Cambridge May 2017 - Jul 2017Cambridge, England, United KingdomDeveloped and prototyped unique solutions to trusted computing problems in the cloud leveraging TPM and SGX/Enclave technologies. See U.S. patent number 10,592,661. Advised by Sylvan Clebsch.
-
Software Development Engineer InternMicrosoft May 2012 - Aug 2012Redmond, Washington, United StatesExplored optimizations and improvements for Microsoft OneNote during a summer internship. -
Usmc Signals Intelligence AnalystUnited States Marine Corps Nov 2005 - Aug 2010Camp Pendleton South, California, United StatesProvided SIGINT analysis and reporting in support of military operations in western Iraq during deployments in 2008 and 2009. Led and trained team of five SIGINT analysts during 2009 Iraq deployment. Received honorable discharge at the rank of Sergeant.
Andrew Kent Education Details
-
Computer Science
-
Computer Science
-
Computer Science
Frequently Asked Questions about Andrew Kent
What company does Andrew Kent work for?
Andrew Kent works for Amazon Web Services (Aws)
What is Andrew Kent's role at the current company?
Andrew Kent's current role is Software Engineer @ AWS Automated Reasoning Group.
What schools did Andrew Kent attend?
Andrew Kent attended Indiana University Bloomington, Indiana University Bloomington, Brigham Young University.
Not the Andrew Kent you were looking for?
-
Andrew Kent
Denver Metropolitan Area3hotmail.com, ball.com, ball.com -
Andrew Kent
Healthcare Practice Leader | Empowering Long-Term Care Success | Business Consultant & Healthcare Leader | Expert In Reimbursement Strategy And GrowthGreater Tampa Bay Area2aol.com, saltmarshcpa.com2 +185024XXXXX
-
Andrew Kent
Washington Dc-Baltimore Area2umich.edu, wgl.com -
Andrew Kent
Boston, Ma1inspiritai.com
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial