Siva Somayyajula

Applied Scientist at AWS

Role: Applied Scientist at Amazon Web Services (AWS)
Location: Boston, MA, US
LinkedIn followers: 500 followers

ScienceView LinkedIn profile

About Siva Somayyajula

PhD in the theory of programming languages / generally fond of formal methods, static analysis, and neurosymbolic AI.

Experience

Applied Scientist
Amazon Web Services (AWS)
Oct 2023 — Present · Boston, MA, US
Automated Reasoning Group

Education

Thomas Jefferson High School for Science and Technology
High School
2011 — 2015
Carnegie Mellon University
Doctor of Philosophy - PhD, Computer Science
Cornell University
Bachelor of Arts - BA, Mathematics and Computer Science
2015 — 2018

Skills

Mathematica
Haskell
Python
Latex
Agda
Google App Engine
Shell Scripting
Antlr
Perl 6
Microsoft Office
Ocaml
Html
Openmpi
Unix
Windows
Jdbc
Linux
Idrisi
C++
Autodesk Inventor
Jsp
C
Git
Teaching
Idris
Mac Os
C#
.net
Java

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 Siva Somayyajula

Experience

Applied Scientist

Education

Thomas Jefferson High School for Science and Technology

Carnegie Mellon University

Cornell University

Skills

Find verified contacts for anyone on LinkedIn