Деванги Шарма

Стипендиант за летни изследвания за студенти
Имейл: [email protected]

За мен:

Аз съм Деванги Шарма, изследователски стажант по програмата SURF в Института за компютърни науки, изкуствен интелект и технологии (INSAIT) през 2025 г. и студент по изкуствен интелект в Университета Карнеги Мелън, САЩ. В INSAIT работя върху използването на големи езикови модели (LLMs) за верификация на код в софтуерното инженерство под ръководството на д-р Димитър Илиев Димитров.

Образование:
Университет Карнеги Мелън, Питсбърг, Пенсилвания — Очаквано завършване май 2027
Бакалавър на науките по Изкуствен интелект
Среден успех: 3.89, Почетен списък на декана, Високи отличия

Оксфордски университет, Оксфорд, Великобритания — май 2024 – юни 2024
Асоцииран член – Нов колеж (Формална логика и доказателства)
Среден успех: 4.0

Награди:
Член на отбора на Индия на Азиатско-тихоокеанската лингвистична олимпиада – март 2022
Международен младежки стипендиант PASCH, Институт Гьоте – юли 2020
Национален сертификат за заслуги по математика – Индия – 2022

Релевантен опит:
Студент-изследовател в CMU (Решаване на задачи за удовлетворимост и обясним изкуствен интелект) под ръководството на проф. Марейн Хойле
Колегиален преподавател по математика и компютърни науки в CMU