Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Вежбе (2007-2017) Микрорачунари (стари статут) Увод у организацију и архитектуру рачунара 1 Увод у организацију и архитектуру рачунара 2 Архитектура рачунара Превођење програмских језика Веб програмирање
Важне локације
Универзитет у Београду Математички факултет Катедра за рачунарство и информатику Група за аутоматско резоновање (АРГО)
Бројач посета
253435
Бројач данашњих посета
38
Ваша интернет адреса
54.225.16.10
Време последње измене
28. 9. 2017. | 16:16:53
Тренутно време
24. 11. 2017. | 13:52:41
Месечни календар
Новембар 2017
ПоУтСрЧеПеСуНе
12345
6789101112
13141516171819
20212223242526
27282930
XHTML 1.0 Strict validation CSS 2.1 validation
Matf
Milan Bankovic
Универзитет у Београду
Математички факултет
Катедра за рачунарство
Милан Банковић
Доцент
milan@matf.bg.ac.rs





Математички факултет Универзитета у Београду (смер Рачунарство и информатика) уписао сам октобра 2001. године, а дипломирао сам децембра 2006. године са просечном оценом 9.93. Октобра 2007. године уписао сам докторске студије на Математичком факултету, смер Информатика. Докторску дисертацију под називом "Унапређивање SMT решавача коришћењем CSP техника и техника паралелизације" одбранио сам 8. 12. 2016.

Радио сам као асистент на Математичком факултету на катедри за рачунарство и информатику од фебруара 2007. године до септембра 2017. године. Држао сам вежбе из предмета: "Програмирање 1/2", "Микрорачунари", "Увод у организацију рачунара", "Развој софтвера 2", "Напредна архитектура рачунара", "Аутоматско резоновање", "Увод у архитектуру рачунара", "Паралелни алгоритми". Од септембра 2017. године радим као доцент на истој катедри. Држим наставу из следећих предмета: "Увод у архитектуру и организацију рачунара 1/2", "Архитектура рачунара", "Превођење програмских језика", "Веб програмирање".

Опширнију биографију можете преузети овде.


Моје области научног интересовања укључују математичку логику у рачунарству и аутоматско резоновање, са акцентом на SAT и SMT решавачима и њиховим применама. Такође ме занима програмирање ограничења. Учествујем у националном научном пројекту у области аутоматског резоновање који води проф. Предраг Јаничић, а такође сам и члан Арго групе. За више информација о мојим текућим истраживањима, посетите моју научну страну.


Информације за студенте су доступне само на српском језику. Ако сте студент који похађа моје вежбе, молим Вас да посетите одговарајућу страницу из навигационог менија на левој страни презентације. Алтернативно, можете најпре погледати ову страну.