Home
My name is Marko Dimjašević (
/mʌrkɔˑ ˌdɪmˈjʌʃɛvɪtʃ/) and I am a computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture. 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 February 20, 2025).
Recent posts
- Errors are Values Too
- Too Much Power Will Kill You (Every Time)
- Become a Better Haskeller by Learning About Inductive Types
- Boeing and Deaths due to Software Bugs
- Notice of AMS: Vladimir Voevodsky
You can find more posts in the archives.