silentvoice

I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types.

[ my public key: https://keybase.io/reidatcheson; my proof: https://keybase.io/reidatcheson/sigs/1wUaW1ajgCcLJOjXSKGS99p3-hSzqJBdAyiQjsIQ438 ]