Types and formal methods researcher based in Gothenburg, Sweden. Former LAMP-ion.

• Github: https://github.com/sstucki
• Twitter: @stuckintheory