Andrew Choi

I am broadly interested in software engineering, distributed systems, and blockchain. I currently work on programmability and smart-contract languages for blockchain platforms.

Prior to this, I was a graduate student at the University of Toronto's Department of Computer Science, where I worked on run-time verification for smart contracts and authenticated storage systems for Ethereum nodes. I was also briefly at Google and Amazon where I worked in the Global Networking group, AWS DynamoDB, and IoT.