• Контакт
• Биографија
• Наука
• Настава

• Адреса:
  Милан Банковић
  Математички факултет
  Студентски трг 16
  11000 Београд, Србија
• Веб адреса:
  http://www.matf.bg.ac.rs/~milan
• Електронска пошта:
  milan@matf.bg.ac.rs ( PGP јавни кључ)

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

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

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

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

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