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 theorem proving, software correctness, functional programming and type theory.

For more information about me, see my resume (last updated on May 5, 2021).

Recent posts

You can find more posts in the archives.