About Me

You can download my CV here.

I am a third year Computer Science PhD student at the University of California, Santa Barbara. I come from Belgrade, Serbia, where I acquired my Bachelor degree from RAF (Computer School) at the Union University. I spent two years in software development during my undergraduate studies, and one year after acquiring my degree.

I am a research assistant at the Verification Lab working with professor Tevfik Bultan on automated software verification. My research focuses on automated verification of web application data models. It's been tremendously fun so far.

Publications

Awards

  • UCSB GSWC 2014 Best Paper Runner-up Award
  • UCSB Outstanding TA award, Fall 2011
  • UCSB Department of Computer Science Merit Fellowship
  • The Belgrade Stipend for the talented 2009
  • Full 4 year scholarship for undergraduate studies

Projects

A Ruby on Rails® gem for fully automated model extraction and verification. In other words, you add this gem to your project, state a few things you want to be sure are true, and the tool can check via a simple rake task.

Read More

A tool for detecting suspicious association and dependency patterns in your Ruby on Rails® application.

Read More