394 B
394 B
- Matrix:
@michael:mozilla.org
Hi there! I'm an incoming graduate student at the University of Minnesota. I currently work as a Software Developer at AWS (previously at SIFT). My computing-related interests lie in programming language design and formal verification, systems security, cryptography, and distributed systems.