Abhiram Kothapalli

Security researcher

Scotty the Scottie Dog

Ask me about ^250 Ethereum

Generative music ^1000 enthusiast

I want to learn ^500 formal methods

I want to learn ^500 game theory

I want to learn ^500 cryptography

Sandia National Labs, Decentralized Systems Lab

Carnegie Mellon University Ph.D. Computer Science

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

I am a Ph.D. student at Carnegie Mellon University. Broadly, I am interested in computer security, cryptography, formal methods, and distributed systems. Specifically, I want to explore how to construct and analyze secure systems. On a practical level, I am interested in developing security measures that respect human performance and their goals within a system. On a theoretical level, I want to study how techniques from cryptography, formal methods, and game theory can be used to prove formal, rigorous security guarantees about detailed protocol specifications. In the past I worked with professor Nikita Borisov and professor Andrew Miller.