Hello! I recently graduated from the University of Vermont's Honors College in the United States, majoring in mathematics with a minor in computer science. I wrote an undergraduate thesis on post-quantum cryptography while studying various areas of pure mathematics and theoretical computer science. For my next role, the two areas I hope to dive into are functional programming and formal verification, primarily because of their applications of mathematical rigor towards provably secure computational systems such as blockchains....
Member since December 2021