My name is Marko Dimjašević ( /mʌrkɔˑ ˌdɪmˈjʌʃɛvɪtʃ/). I grew up in Križevci, Croatia and got my undergraduate degree in computer science from the University of Zagreb. I’m a PhD candidate in computer science at the School of Computing, University of Utah, where I do research in the Software Analysis Research Laboratory. My advisor is Zvonimir Rakamarić. In general, I am interested in software verification and security, and in particular in symbolic execution and runtime verification and their application in automatic software testing.
For more information about me, see my resume (last updated on March 18, 2017).