Devangi Sharma

Summer Undergraduate Research Fellow
Email: [email protected]

About:

I am Devangi Sharma, a SURF Research Intern at the Institute for Computer Science, Artificial Intelligence and Technology (INSAIT) in 2025, and an undergraduate student in Artificial Intelligence at Carnegie Mellon University, USA. At INSAIT, I am working on leveraging large language models (LLMs) for code verification in Software Engineering under the supervision of Dr. Dimitar Iliev Dimitrov.

Education:
Carnegie Mellon University, Pittsburgh, PA — Expected May 2027
Bachelor of Science in Artificial Intelligence
GPA: 3.89, Dean’s List, High Honors

Oxford University, Oxford, UK — May 2024 – June 2024
Associate Member – New College (Formal Logic and Proofs)
GPA: 4.0

Awards:
Member, Team India at the Asia Pacific Linguistics Olympiad – March 2022
PASCH International Youth Scholar, Goethe Institute – July 2020
National Certificate of Merit in Mathematics – India – 2022

Relevant Experience:
Student Researcher at CMU (Satisfiability Solving and Explainable AI) under Prof. Marijn Heule
Peer Tutor for Mathematics and Computer Science at CMU