About Me

I am a Computer Science PhD 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 was a research assistant at the Verification Lab working with professor Tevfik Bultan on automated software verification. My research focused on automated verification of web application data models. It's been tremendously fun.

Now I'm a Software Engineer at Google.



  • UCSB Computer Science Outstanding Publication Award 2014
  • 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


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

Get in touch