Biografija

Matematički fakultet Univerziteta u Beogradu (smer Računarstvo i informatika) upisao sam oktobra 2001. godine, a diplomirao sam decembra 2006. godine sa prosečnom ocenom 9.93. Oktobra 2007. godine upisao sam doktorske studije na Matematičkom fakultetu, smer Informatika. Doktorsku disertaciju pod nazivom "Unapređivanje SMT rešavača korišćenjem CSP tehnika i tehnika paralelizacije" odbranio sam 8. 12. 2016.

Radio sam kao asistent na Matematičkom fakultetu na katedri za računarstvo i informatiku od februara 2007. godine do septembra 2017. godine. Držao sam vežbe iz predmeta: "Programiranje 1/2", "Mikroračunari", "Uvod u organizaciju računara", "Razvoj softvera 2", "Napredna arhitektura računara", "Automatsko rezonovanje", "Uvod u arhitekturu računara", "Paralelni algoritmi". Od septembra 2017. godine radim kao docent na istoj katedri. Držim (ili sam držao) nastavu iz sledećih predmeta: "Uvod u arhitekturu i organizaciju računara", "Arhitektura računara", "Prevođenje programskih jezika", "Veb programiranje", "Automatsko rezonovanje", "Specijalni kurs" ("Programiranje ograničenja").

Opširniju biografiju možete preuzeti ovde.

Nauka

Moje oblasti naučnog interesovanja uključuju matematičku logiku u računarstvu i automatsko rezonovanje, sa akcentom na SAT i SMT rešavačima i njihovim primenama. Takođe me zanima programiranje ograničenja. Učestvujem u nacionalnom naučnom projektu u oblasti automatskog rezonovanje koji vodi prof. Predrag Janičić, a takođe sam i član Argo grupe. Za više informacija o mojim tekućim istraživanjima, posetite moju naučnu stranu.

Nastava

Informacije za studente su dostupne samo na srpskom jeziku. Ako ste student koji pohađa moje vežbe, molim Vas da posetite odgovarajuću stranicu iz navigacionog menija. Alternativno, možete najpre pogledati ovu stranu.