π₯ Lambda Scientist π‘ Functional programming π‘ Programming languages π‘ Cryptography π¨π½βπ» Swift, Haskell & Agda π Volt πͺπΊ policy shaper: digital affairs π Utrecht π³π±π©πͺπͺπΊ
Posts
4
Publications
1
π₯ Lambda Scientist π‘ Functional programming π‘ Programming languages π‘ Cryptography π¨π½βπ» Swift, Haskell & Agda π Volt πͺπΊ policy shaper: digital affairs π Utrecht π³π±π©πͺπͺπΊ