Projects

Northwestern Aqualab

I am a research assistant at Northwestern Aqualab, advised by Fabián E.Bustamante. I'm currently working on mapping IP traceroutes to the underlying physical infrastructures. In the past I've worked on web traffic analysis, including privacy document analysis and deployment centralization analysis.

Collecto

A Large Language Model (LLM) based agent that aims at helping people connect with friends at distance by generating prompts of mutual interest and managing interpersonal connections.

ClubConnect

I was part of the founding team and a backend developer at ClubConnect, a startup that helps club administrators manage and advertise their clubs, while also assisting students in enhancing their extracurricular involvement in college. Our App was launched on the iOS App Store

Golang-based distributed system

A distributed system demo that includes a high fault-tolerance MapReduce framework, a snapshot tool based on Chandy-Lamport algorithm, and a simulated Raft consensus protocol that includes leader election, heartbeat messages, log replication, and persistence layer read/write operations.

Contract Checker For Higher Order Functions

A simplified PL semantics model that features full type system and contract checking for higher-order functions. Implemented with Racket PLT Redex.

CrowdScope

Our project for 2023's IEEE technical program, an App that uses crowdsourcing to estimate crowdedness across campus facilities.