Milos Gligoric
Research Interests

My main research interests are software engineering and formal methods with focus on improving software quality via software testing and software model checking.

Affiliated Departments