Boston, Massachusetts, United States
Ph.D. research intern in the Distributed Systems Research Group.
Teaching assistant for courses on cryptography and PL theory.
Ph.D. researcher in the POPV (Principles of Programming and Verification) group.
Ph.D. student researcher in the Google Graph Mining team.
Data & AI research team of Microsoft DevDiv. Contracted through WaferWire Cloud Technologies.
Undergraduate and master's thesis research on the formal verification of concurrent algorithms.
Teaching assistant for courses on discrete mathematics, algorithms, concurrency, and introductory software engineering.