Websites: www.brikun.com www.tanukiforest.com

I recieved my B.S.E in Computer Science from Columbia University Engineering in February 2020. I specialized in the C.S. Theory and Foundations Track. My main strength is that I can program and I know rigorous math from modern algebra to analysis and number theory. My math foundation has let me do very well in nine p.HD and graduate student Computer Science and STEM courses despite being an undergraduate. I recieved A+ grades in both the graduate level Formal Verification and Cryptography classes. Senior year, I studied the formal verification of multipliers using algebra techniques with Groebner Bases.