Projects

I spent two summers at AWS building services to deliver software verifications tools at scale.

I've been a teaching assistant for multiple upper level courses focused on discrete optimization, systems, programming languages and formal methods.

I implemented a fully functional operating system that implements threads, processes, device drivers, a file system, and virtual memory.

A CDCL solver written in RUST that also implements random restarts, clause deletion and two watched literals

I built a solver for the vehicle routing problem that uses local search heuristics and integer programming. A two member final project for CSCI2951O.

In collaboration with the CS department, I built a tool to check whether students satisfied the numerous requirements for a Brown CS major - something industry ed-tech software could not do. I developed this using the Z3 SMT solver. The tool can identify the combination of degree constraints that are violated and suggest possible courses satisfying requirements.

A distributed key-value store using sharding. Implemented in C++ using gRPC,Protobuf.Final project for CSCI0300

Verify process memory isolation and process lifecycle safety in a simple model of the OS with virtual memory using the Forge (similar to Alloy) model checker. Final project for CSCI1710 in a group of three.

I implemented Gibbs Sampling with background models and applies it to find motifs for transcription factors in Tuberculosis.

A complete (demonstrative) implementation of the NTRU cryptosystem using Sagemath.Solo final project for MATH1580