Projects

4-wide register renaming back end for an OoO core in SystemVerilog: reorder buffer, issue queue, unified physical register file, and a rename unit with single-cycle branch recovery.
Parallel prefix-count logic and slot banking placed #1 in area and #3 in frequency on the class leaderboard.

RTL-GDS flow of a high-performance 1024-point Radix-2 DIF FFT core in TSMC 65nm CMOS with 400 MHz clock and 39.8 MS/s throughput.

Implementation of Linux utilities: in-kernel key-value store, custom round-robin scheduler, page walk, and a lightweight filesystem.

Implementation of a subset of GNU make in C++ with Makefile parsing, recursive dependency graph resolution, and custom rule caching.

Detection of timing-based signal anomalies in autonomous and embedded systems

A simple 8-bit processor core custom layout, built and tested from scratch in Cadence Virtuoso.

Design and simulation of a 64-tap finite impulse response filter at 10 kS/s 16-bit fixed-point with MAC and full precision.

Two-stage operational transconductance amplifier with extensive DC/AC/step testing and PVT variation analysis.

Architectural analysis on sorting algorithms.

An analog/digital circuit simulator on FPGA written in C and Verilog, featuring Modified Nodal Analysis and hardware-accelerated matrix inversion.

(Subsets of) malloc, grep, chat server, gdb, ld, and a container manager

Fully functional peer-to-peer blockchain network in Python with proof-of-work, digital signatures, Merkle trees, and a GUI wallet.

HTTP server and client written in C from scratch, with a backend server loading a binary database and serving the frontend.

Origin, detection, and simulation of rogue planets — unbound, planet-mass bodies drifting through the Galaxy.

A rigorous dive into exponential and logarithm functions, revisiting exp and log with real analysis and extending \(x^r\) to all real \(r\)

Outstanding award winner. A unified mathematical and computational framework to analyze why Fritz the dog misses catching objects.

Theory of infinite-word automata (ω-languages): Buchi, Muller, and Rabin acceptance conditions, and applications in modeling non-terminating systems.

A walkthrough of control theory and applications, including open loop control, PID, and computer simulation and tuning.

Biology video project covering the phases of cell division, featuring Keynote graphics and animations of DNA synthesis and cell division. video