Hello!

I'm Meshan Khosla

SDE at AWS, Computer Science at UC Berkeley

I'm currently working as a Software Development Engineer at Amazon Web Services on the Quicksight team. I graduted from the University of California, Berkeley with a degree in Computer Science.

Linkedin Github

Play some Snake!

Score: 0

Use WASD or arrow keys

Blog Posts

Coffee Codex - Implementing formal methods for Two Phase Commit

6/28/2025

Two Phase Commit in the P language

Coffee Codex - Learning P For Formal Methods

6/15/2025

Learning about the P Programming Language

Coffee Codex - Formal Methods and P lang

6/7/2025

Learning about how AWS uses P and formal methods to verify system correctness

Coffee Codex - Dropbox Magic Pocket II

5/31/2025

Learning about the architecture of how Dropbox stores exabytes of data

Coffee Codex - Fluid Compute

5/26/2025

Learning about how Vercel's Fluid Compute works

View All Posts