Michael Yi

ABOUT

================================

Hi! I'm Michael, a computer scientist interested in operating systems, distributed computing, and security.

I earned my BS in Computer Science at Georgia Tech 🐝 and am currently pursuing my MS. On campus, I'm the Head TA for CS 3210: Operating Systems and the Director of Engineering at Bits of Good.

I previously worked at Palantir Technologies, Capital One, and T-Mobile.

When I'm not programming, I enjoy watching movies, playing guitar and singing, and baseball/basketball/football.

// Links: Email, GitHub, LinkedIn, Letterboxd

PROJECTS

================================

Distributed Message Queue [C, Unix, ZooKeeper]

• A distributed system modeling a simplified version of Kafka. Implemented distributed locking, leader election, partition discovery, and a custom application-layer network protocol

xv6 Operating System Kernel [C, x86 ASM]

• Implemented virtual memory optimizations, kernel threading, scheduling, NIC driver, Ethernet protocol, eBPF support, user login, and file system extensions

16-Bit Pipelined Virtual Machine [C, Docker]

• 16-bit VM simulating a pipelined processor using multithreading. Runs LC-3 Assembly programs

APIVeil [C++, Python, AWS, PostgreSQL, Flask]

• An AI-powered reverse proxy for monitoring and debugging APIs in realtime using LLMs and RAG

Invoice Generator [Java, Spring, gRPC, Kafka, MySQL, AWS]

• A platform for a logistics company that generates pivot tables and bills invoices from Excel sales data. Wrote a custom API gateway to distribute GraphQL requests to microservices

ScribeAI (1st Place Overall, HackGT) [Java, Spring, PostgreSQL, Kubernetes]

• A HIPAA-compliant platform that uses OCR and AI to convert scanned medical files into encrypted electronic health records