Coursework @ CMU
At Carnegie Mellon University, my coursework was heavily systems-oriented and project-driven. Below is a snapshot of selected courses, organized by semester, with a focus on what I built, analyzed, or broke rather than just what I studied.
Fall 2025
Distributed Systems
- •Implemented replicated services with fault tolerance and consistency guarantees
- •Reasoned about leader election, failure recovery, and trade-offs between availability and correctness
- •Debugged subtle distributed bugs caused by partial failures and message reordering
Formal Methods
- •Learned to reason about correctness, safety, and liveness
- •Studied model checking, theorem proving, and verification
- •Gained hands-on experience with formal verification tools
Quality Assurance
- •Built testing for the game Splendor from ground up, implementing all kinds of tests possible
- •Implemented AI modifications to the game along with testing AI frameworks
- •Gained practical experience with assurance levels and quality control trade-offs
Spring 2026
Databases & Data-Intensive Systems
- •Studied storage engines, indexing, query execution, and consistency models
- •Reasoned about trade-offs between latency, throughput, and correctness in data systems
What These Courses Gave Me
More than specific technologies, these courses trained me to:
- •treat failure and scale as default conditions
- •reason about systems using invariants and guarantees
- •understand why abstractions exist - and when they break
- •design software that survives beyond the happy path
This academic foundation strongly shapes how I approach production systems, infrastructure, and long-lived codebases today.