Aarrya Saraf
MSCS @ CMU | SDE intern @ Amazon | BSc @ Ecole polytechnique
- Role
- Software Engineer Intern at Amazon
- Location
- Pittsburgh, PA, US
- LinkedIn followers
- 500 followers
About Aarrya Saraf
After my Bachelor in Mathematics & Computer Science from Ecole Polytechnique, I am now pursuing my Master of Computer Science at Carnegie Mellon University. My time at Ecole polytechnique let me develop solid foundations in Mathematics and deeply study and research in Theoretical Computer Science. I am trying to merge theory and practice at CMU now Research Work- Bijection between Rooted Planar Maps and Ordered Linear Logic Parsing as Deduction and Bottom-up Parsing Algorithms in PROLOG Recent Advances in Proof Theory Efficient Algorithms for Unification and the Analytic Tableaux Method Compiler for data processing and extraction Generation of Horn Clauses Using Artificial Intelligence Relevant Coursework- Computer Science: Data Structures and Algorithms, Formal Methods, Logic and Proofs, Object Oriented Programming in C++, Functional programming, Artificial Intelligence, Computer Architecture, Advanced Programming in Python Mathematics: Linear Algebra, Introduction to Probability and Statistics, Asymptotic Statistics, Discrete Mathematics, Numerical Linear Algebra, Numerical Optimization.
Experience
Software Engineer Intern
May 2025 — Present · Bellevue, WA, US
AGI @ Amazon
Education
La Martiniere for Boys, Kolkata
High School Diploma
2012 — 2021
Carnegie Mellon University
Master of Science - MS
2024 — 2025
École Polytechnique
Bachelor of Science - BS
2021 — 2024
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.
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.