Đorđe Žikelić

Student sam poslednje godine doktorskih studija na IST Austria, gde mi je mentor Krishnendu Chatterjee. Pre toga sam završio osnovne i master studije matematike na Univerzitetu u Kembridžu.

Primarna oblast mog istraživanja je formalna verifikacija softvera. Konkretno, koristim se metodama iz oblasti formalne verifikacije, programskih jezika i mašinskog učenja kako bih dizajnirao matematički rigorozne ali i potpuno automatizovane metode za formalnu analizu programa, sistema sa naučenim komponentama kao i za sigurno mašinsko učenje.

Moje trenutno istraživanje se može klasifikovati u sledeće oblasti:

- Statička programska analiza

- Analiza probabilističkih programa

- Verifikacija neuralnih mreža

- Sigurno učenje sa podrškom (safe reinforcement learning)

- Mašinsko učenje za kontrolu dinamičkih sistema (learning-based control)

- Aukcijske igre na grafovima (bidding games on graphs)