User: silentvoice

Created: 4238 days ago
Karma: 100
I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types.