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.



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