silentvoice
since 3/31/2014
103 karma
I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types.