Траян Господинов

Докторант

За мен:

Аз съм докторант в Института за компютърни науки, изкуствен интелект и технологии, започващ през септември 2024 г. Моите изследвания ще се фокусират върху конструирането на формални методи за верификация на програми и ще бъдат ръководени от проф. Петер Мюлер.

Образование:

Софийски университет „Св. Климент Охридски“ — Бакалавър Информатика — Октомври 2018 до Юли 2022

Софийски университет „Св. Климент Охридски“ — Магистър Логика и алгоритми — Октомври 2023 до Юли 2024 (очаквано)

Релевантен опит:

Асистент в Софийски университет „Св. Климент Охридски“ — Проектиране и анализ на алгоритми — 2020 до 2023

Награди:

Югоизточно европейска математическа олимпиада за студенти — бронзов медал

Математика без граници (отбор от 3) — сребърен медал

Математика без граници — многобройни медали