user: silentvoice

103 karma | created 12 years ago

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

recent submissions