User : silentvoice

Created: 1396234615
Karma: 103
I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types.