Daniel Kroening

Senior Principal Scientist, Neuron Compiler

Role: Amazon Web Services (Aws) at Amazon Web Services (AWS)
Location: Seattle, WA, US
LinkedIn followers: 500 followers

Information TechnologyView LinkedIn profile

About Daniel Kroening

Specialties: GenAI for code, Program Analysis, Automated Reasoning

Experience

Amazon Web Services (Aws)
Amazon Web Services (AWS)
Present

Skills

Model Checking
Formal Verification
Embedded Systems
Program Analysis
Sat
C
C++
Computer Science
Semantics
Software Engineering
Java
Latex
Mathematical Modeling
Artificial Intelligence
Algorithms
Testing
Simulations
Parallel Computing
Distributed Systems
Programming
Python
High Performance Computing

Contact information

Verified work emails, personal emails, and direct dials — unlocked in one click.

Work email
•••••@amazon.com
Personal email
•••••@•••••.com
Direct dial
+•• ••• ••• ••••

Unlock verified contacts

Free to start · No credit card required

Current company

Amazon Web Services (AWS)

IT Services and IT Consulting · 10K employees · Founded 2006 · 410 Terry Ave N, Seattle, WA, 98019, US

Launched in 2006, Amazon Web Services (AWS) began exposing key infrastructure services to businesses in the form of web services -- now widely known as cloud computing. The ultimate benefit of cloud computing, and AWS, is the ability to leverage a new business model and turn capital infrastructure expenses into variable costs. Businesses no longer need to plan and procure servers and other IT resources weeks or months in advance. Using AWS, businesses can take advantage of Amazon's expertise and economies of scale to access resources when their business needs them, delivering results faster and at a lower cost. Today, Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. With data center locations in the U.S., Europe, Singapore, and Japan, customers across all industries are taking advantage of our low cost, elastic, open and flexible, secure platform.

amazon.com

Find verified contacts for anyone on LinkedIn

Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.

Start for free See how it works

Free plan included · No credit card required

This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.

About Daniel Kroening

Experience

Amazon Web Services (Aws)

Skills

Find verified contacts for anyone on LinkedIn