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.