Teaching Assistant
CurrentHelped to teach the Distributed Systems course, focused on designing and implementing distributed systemsTopics taught: Distributed computation; RPC and its semantics; Transactions and ACID; Atomic commitment Consensus & Paxos; Consistency semantics; Byzantine Fault Tolerance; VerificationHelped to teach the Operating System course, focused on Linux kernel.