Sreekar Garlapati

Software Engineer

Hyderabad, Telangana, India2 yrs 9 mos experience

AI EnabledAI ML Practitioner

Key Highlights

Masters in Computer Science from UMass, Amherst.
Interned at prestigious institutions like SRI International and Purdue University.
Hands-on experience in Machine Learning and Reinforcement Learning.

Stackforce AI infers this person is a Machine Learning and AI specialist with research experience in formal methods and databases.

Contact

Skills

Core Skills

Machine LearningReinforcement LearningDatabasesGenerative ProgrammingFormal MethodsSecurity Properties

Other Skills

AlgorithmsComputer VisionAndroid DevelopmentOperating SystemsC++CJavaPythonHTMLMatlabNeural NetworksSecurity ProtocolsAtmel AVRNatural Language Processing (NLP)TensorFlow

About

I'm a Masters graduate in Computer Science from UMass, Amherst. Completed my undergrad at the Indian Institute of Technology at Bombay in Computer Science and Engineering. Previously interned at SRI International, Purdue University and INRIA Research Institute at Nancy,France.

Experience

2 yrs 9 mos

Total Experience

1 yr 4 mos

Average Tenure

Current Experience

Rubrik, inc.

Software Engineer

Jul 2022 – Nov 2024 · 2 yrs 4 mos · Palo Alto, California, United States

Abacus.ai

Software Engineer

Oct 2021 – Mar 2022 · 5 mos · San Francisco Bay Area

Sri international

Machine Learning Research Intern

Jun 2020 – Aug 2020 · 2 mos

I was a research intern at SRI working on improving novelty detection and response of reinforcement learning methods.

Reinforcement LearningMachine Learning

Purdue university

Databases Research Intern

May 2018 – Jul 2018 · 2 mos · West Lafayette, IN

I was involved in developing the features missing in Flare, a back-end system for Spark which uses generative programming with Lightweight Modular Staging for performing relational queries. I also benchmarked Flare using the TPC-DS toolkit.

DatabasesGenerative Programming

Inria

Formal Methods Research Intern

May 2017 – Jul 2017 · 2 mos · Nancy Area, France

Contributed to the development of a library of first-order terms and proved fundamental lemmas in it. The library is used to verify and re-check the security properties ensured by the DeepSec Prover.

Formal MethodsSecurity Properties