TopNewBestAskShowJobs

silentvoice

Born on March 31, 2014•104 Karma
I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types.