Explore projects

Data Visualization Code

An N-way superscalar out-of-order processor based on the R10K scheme, implemented, integrated and verified by my EECS470 group as part of our final project. It includes all basic functioning features and modules for correctness.

A wireless sensor platform in Embedded Rust for the DWM1001-DEV board, the Nordic nRF52 microcontrollers for IoT.

Flask based dashboard app for real time streaming sensor data from any MQTT Client

Pricing Label Infrastructure for creation, modification, and usage of pricing labels using excel files to maintain databases

custom implementation of prims, solving tsp with nearest insertion heuristic, and tsp w/ branch and bound method. code available upon request

Repository for EECS 464: Hands-on Robotics, Project 1

Openembedded layer for TRMO START rover yocto OS image

MSI Cache Coherency protocol verification using the Murphi 3.1 Model Checker Tool developed by Stanford. Added the Owned state as an optimization (MOSI).