Aditya Senthilnathan

AI Researcher

Ithaca, New York, United States1 yr 3 mos experience

Key Highlights

Expert in developing tools for programming languages.
Experience with LLMs for program verification.
Strong background in Python and .NET technologies.

Stackforce AI infers this person is a Software Engineer with expertise in programming languages and tools development.

Contact

Skills

Core Skills

.net FrameworkPython (programming Language)React Native

Other Skills

AlgorithmsC (Programming Language)C#C++Data StructuresGPT-4GitJavaScriptOCamlPostgreSQLPrologVHDLZ3 SMT Solver

Experience

Microsoft

Research Fellow

Jul 2022 – Jul 2023 · 1 yr · Bengaluru, Karnataka, India · On-site

Worked on developing tools for programming languages and using LLMs for program verification

.NET FrameworkPython (Programming Language)GitGPT-4C#

Indian institute of technology, delhi

2 roles

Teaching Assistant

Jan 2022 – Apr 2022 · 3 mos · New Delhi, Delhi, India

Operating Systems (COL331) taught by Prof. Sorav Bansal

Teaching Assistant

Aug 2021 – Dec 2021 · 4 mos · New Delhi, Delhi, India

Introduction to Artificial Intelligence (COL-333/COL-671) taught by Prof. Rohan Paul

Columbia university in the city of new york

Undergraduate Research Assistant

Jul 2021 – Dec 2021 · 5 mos · New York, New York, United States

Interned with Prof. Junfeng Yang and worked on Program Analysis and Diffing Algorithms for the Upgradvisor tool.
Website: https://upgradvisor.github.io/

Python (Programming Language)

Gartner

Software Engineer

May 2021 – Jul 2021 · 2 mos · Gurugram, Haryana, India

Python (Programming Language)Git

Nptel

Teaching Assistant

Jan 2021 – Apr 2021 · 3 mos · New Delhi, Delhi, India

Operating Systems MOOC taught by Prof. Sorav Bansal (IIT Delhi)

Stealth startup

Frontend Developer

May 2020 – Jul 2020 · 2 mos · Cambridgeshire, England, United Kingdom

GitJavaScriptReact Native

Education

Cornell University

Doctor of Philosophy - PhD — Computer Science

Jan 2023 – Jan 2029

Indian Institute of Technology, Delhi

Integrated Bachelor's and Master's Degree (B.Tech + M.Tech) — Computer Science and Engineering

Jul 2017 – May 2022

Cornell University

Doctor of Philosophy - PhD — Computer Science

Jul 2023 – Present

Stackforce found 100+ more professionals with .net Framework & Python (programming Language)

Explore similar profiles based on matching skills and experience

Krinish Radadiya

Engineering Manager

at AtliQ Technologies

Vadodara, India4 yrs 11 mos exp

Artificial Intelligence (AI)Project ManagementMobile Application Development

Mayank Sharma

Founding Engineer

at CashDao

Noida, India1 yr 3 mos exp

AWSMongoDBNext.jsNode.jsReact.js

Aman Soni

Software Engineer

at 26MilesCapital

Indore, India1 yr 3 mos exp

Guriqbal Singh Khera

Lead Software Engineer

at MakeMyTrip

Bengaluru, India7 yrs 4 mos exp

JavaScriptReact.js

Uday Singh Rana

Associate Software Engineer

at Accenture

Gurugram, India3 yrs 1 mo exp

Full-Stack DevelopmentWeb Development

Mrinali Mangal

SDE-II

at Amazon

Pune, India9 yrs exp

Shivam Singh

Technical Lead

at Coforge

Noida, India9 yrs 10 mos exp

Shivam Pawar

Full Stack Developer

at Super Nova Synergy Labs Pvt Ltd.

Navi Mumbai, India0 mo exp