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.
Automated verification of web application data models