Info & Research
Info Research
Teaching (in Serbian only)
Opšte informacije Programiranje 1 Programiranje 2 Mikroračunari Uvod u organizaciju računara Razvoj softvera 2 Napredna arhitektura računara Automatsko rezonovanje Uvod u arhitekturu računara
Hit counter:
162665
Your IP address:
54.83.228.89
Last modification date:
5. 4. 2014.
Current time:
14:10:40
Month calendar:
July 2014
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031
XHTML 1.0 Strict validation CSS 2.1 validation
Matf
Milan Bankovic
University of Belgrade
Faculty of Mathematics
Department of Computer Science
Milan Banković
Teaching Assistant
milan@matf.bg.ac.rs





I was born on 3 May, 1982. I enrolled the University of Belgrade, Faculty of Mathematics, Department of Computer Science in October 2001, and graduated from the University in December 2006, with GPA 9.93 out of 10.00. I have been working as a teaching assistant at the Faculty of Mathematics, Department of Computer Science since February 2007. I have taught courses "Programming 1/2", "Microprocessors", "Introduction to Computer Organization", "Software Development 2", "Advanced Computer Architecture", and "Automated Reasoning". Since 2007, I am a PhD student at the same department.


My research fields include mathematical logic in computer science, and automated reasoning, with emphasis on SAT and SMT solvers and their applications. I am also interested in constraint programming. I participate in a national research project in the area of automated reasoning, led by prof. Predrag Janičić, and I am a member of Argo Group. For more information about my current research, visit my research page.


Information for students are available in Serbian language only. If you are a student who attends my classes, please visit an appropriate page from the navigation menu placed at the left side of this presentation. Alternatively, you can start with this page.