My name is Marko Dimjašević ( /mʌrkɔˑ ˌdɪmˈjʌʃɛvɪtʃ/) and I am a computer scientist. I obtained my PhD from the University of Utah, USA. In general, I am interested in software verification, testing 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 October 16, 2017).