Abhiram Kothapalli

Security researcher

Illinois cyber security scholar

Fighting Illini

Ask me about ^250 Ethereum

Generative music ^1000 enthusiast

I want to learn ^500 formal methods

I want to learn ^500 game theory

Decentralized Systems Lab, Sandia National Labs

University of Illinois B.S. Computer Science, B.S. Mathematics

I am an undergraduate security researcher at the University of Illinois working with professor Andrew Miller and professor Nikita Borisov. Broadly, I work on building secure distributed applications using cryptography and economic incentives. I am specifically interested in cryptocurrencies, cryptography, game theory, and distributed computing. In the past I have worked on fair exchange and incentivized protocols. At Sandia I have worked on designing safer blockchain domain specific languages. I am currently working on designing formal verification tools for cryptographic protocols.