My name is Marko Dimjašević (speakerlink /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, correctness, testing and security, functional programming and type systems.

For more information about me, see my resume (last updated on December 28, 2018).