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:
169443
Your IP address:
54.81.89.182
Last modification date:
5. 4. 2014.
Current time:
20:52:09
Month calendar:
November 2014
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930
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.