Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Програмирање 1 Програмирање 2 Микрорачунари Увод у организацију рачунара Развој софтвера 2 Напредна архитектура рачунара Аутоматско резоновање Увод у архитектуру рачунара
Бројач посета
186191
Бројач данашњих посета
33
Ваша интернет адреса
107.20.122.81
Време последње измене
6. 3. 2015. | 18:01:51
Тренутно време
1. 8. 2015. | 20:02:28
Месечни календар
Август 2015
ПоУтСрЧеПеСуНе
12
3456789
10111213141516
17181920212223
24252627282930
31
XHTML 1.0 Strict validation CSS 2.1 validation
Matf
Milan Bankovic
Универзитет у Београду
Математички факултет
Катедра за рачунарство
Милан Банковић
Асистент
milan@matf.bg.ac.rs





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


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


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