This website

HTML CSS javascript software testing rust web dev ongoing
  1. Website for my sanity
  2. Made using HTML, CSS and JavaScript for frontend and Rust (tide) for backend.
  3. Will keep adding everything I can over time.

ARMy (A Robotic Arm)

Python Bare-Metal software testing Robotics Rust Algorithms Game theory Research Initialized
  1. Engineered a custom robotic arm system end-to-end, covering hardware setup, firmware development, and full software integration.
  2. Programmed the BeagleBone Black and Xilinx FPGA for real-time control, parallel signal processing, and precise multi-axis movement.
  3. Developed bare-metal drivers and embedded software in C and Rust, optimizing for memory efficiency, timing constraints, and system stability.
  4. Built and validated a cross-compilation workflow and system integration pipeline, enabling reliable flashing, debugging, and performance testing.

Implementation of TNR(Transit Node Routing) algorithm with custom Transit Node Selection

Python Rust Algorithms Game theory software testing Research Completed
  1. I designed and implemented TNR based shortest path search over Colorado Springs map using OSMNX and networkx.
  2. Used a novel Transit Node choosing method and evaluated with several test cases.
  3. Benchmarked it alongside Dijkstra's and A* algorithm.
  4. Achieved perfect accuracy and comparable performance with A* algorithm.

Cache Evaluation on Several Randomized Distributions

Python Rust software testing Algorithms Game theory Research Completed

  1. Implemented Belady's, FIFO and LRU eviction policies
  2. Introduced several Random Distributions on the input data and Derived a probability estimation function.
  3. Tested the caches on Zipfian distributions and analyzed the performance of each algorithm.
  4. Concluded LRU to be the best performing algorithm.

Probabilistic vs. Deterministic Approaches to Primality in Large Ranges

Python Algorithms software testing Game theory Research Completed
  1. Implemented and analyzed primality testing algorithms by coding the Miller–Rabin probabilistic test and benchmarking it against the Sieve of Eratosthenes, highlighting trade-offs between deterministic sieving and probabilistic number-theoretic methods.
  2. Applied concepts from computational number theory (modular exponentiation, Fermat’s little theorem, strong pseudoprimes) to efficiently handle primality tests across a large integer range.
  3. Benchmarked time complexity and memory usage of sieve-based vs. probabilistic methods, demonstrating differences between O(n log log n) deterministic sieving and O(k log³ n) Miller–Rabin runs, where k is the number of iterations for error reduction.
  4. Quantitatively evaluated algorithmic correctness and performance, measuring false positive rates of Miller–Rabin against ground-truth primes from sieving.
  5. Showcased performance optimization by leveraging modular arithmetic for fast exponentiation and by tuning the number of Miller–Rabin rounds to balance runtime and error bounds.
  6. Produced comparative results that illustrate how mathematical rigor (deterministic primality proofs) contrasts with computational practicality (probabilistic testing), providing insight into algorithm design for large-scale number theory problems.

Custom Pipeline for Improving Branch Predictions

C++ python BenchMark Eval Computer Architecture Research Completed
  1. Experiments with multi-level fetch and decode units to mitigate branch misprediction, enhance instruction-level parallelism
  2. improve overall latency and throughput
  3. A way to mitigate Spectre attacks.

Simulating for a sanity proof that spatial chorence beats Temporal Coherance in the context of heap allocations and accesses

C++ python BenchMark Eval Computer Architecture Research Completed
  1. Implemented several memory allocators with different strategies to allocate and access memory
  2. Simulated them on gem5 with several cache configurations
  3. Analyzed the results and concluded that spatial coherance is better than temporal coherance in the context of heap allocations and accesses

Simulation of Sieve of Eratosthenes on custom hardware.

C++ python BenchMark Eval Computer Architecture Research Completed
  1. Training project to get used to gem5
  2. Used several configurations of Timing and Simple CPU
  3. x86 and risc-v machine language instruction generation and simulation with various cache sizes

2024 ECTF

C++ Secure OS Bare-Metal Medical-Device Design Trusted Execution Embedded Systems Cyber Security Research Cryptography Hashing Completed
  1. The task was to make a secure Operating System for the Max-78000 embedded boards that would be acting as a medical device.
  2. Developed secure embedded firmware for MAX-78000 using wolfSSL for cryptographic primitives, with GDB-based hardware debugging in a bare-metal environment.
  3. Placed 24 globally among 102 Universities competed.
  4. Successfully made a Secure System while not compromising on the functional requirements.

Interpreter for a custom 16-instruction programming language

Java Compiler Design Completed
  1. Implemented end to end from lexial to interpreter modules
  2. Executed sample recursion and iterative solutions for proof of concept