Ph.D. student at Carnegie Mellon University. Broadly interested in computer security, cryptography, formal methods, and distributed systems. Specifically interested in constructing and analyzing secure cryptographic systems.
Computer Security, Cryptography, Formal Methods, and Distributed Systems
Ph.D. Computer Science
B.S. Computer Science, B.S Mathematics.
Advisors: Andrew Miller, Nikita Borisov
Ongoing effort to construct self-reliant and resilient distributed systems. Worked on developing a modified process calculus to model interactive Turing machines in the Universal Composability security framework.
Researched applications of decentralized consensus protocols for the blockchain environment. Created SmartCast, a protocol which enforces consensus among nodes using smart contracts. Gained knowledge in consensus protocols, cryptocurrencies, and game theory.
Worked on network protocol that allows clients to easily access data from encrypted databases. Previously worked on a protocol to limit extortion in the Bitcoin environment by limiting potentially dangerous communication.
Small startup in Palo Alto, CA. Worked on quality assurance of the Upthere Home Macos application.
Fully funded under the CyberCorps Scholarship for Service (SFS) NSF Grant to pursue a cyber security focused degree.