Open-source tools and research prototypes in formal verification, security analysis, and automated reasoning.
Completed
Event-driven coordination protocol for autonomous drone swarms
As an Undergraduate Research Assistant at the Communication Systems and Networks Lab, I collaborated on developing cutting-edge coordination protocols for multi-agent aerial swarms. This project focused on enabling autonomous drones...
Completed
Automated hardware IP protection through logic obfuscation
During my internship at the IC Design Lab, I led the development of ENIGMA, a Python framework designed to automatically insert logic-locking defenses into hardware designs. This project addresses one...
Completed
Intrusion Detection System for Software-Defined Networks using ML/DL models
Software-Defined Networking (SDN) architectures introduce unique security challenges due to their centralized control plane. This project implements an intelligent Intrusion Detection System using machine learning. Machine Learning Models Random Forest...
Completed
Transformer-based models for automated legal analysis
As a Machine Learning Intern at the TUKL Deep Learning Lab, I developed an end-to-end machine learning pipeline for predicting court case outcomes using state-of-the-art natural language processing techniques. The...
Completed
Secure offline document analysis using locally deployed LLMs
This project demonstrates how organizations can leverage powerful language models for document analysis without compromising sensitive information by deploying models entirely offline. Privacy-First Architecture The system runs entirely on local...
Completed
5-stage pipelined processor with hazard detection and forwarding
This project implements a complete RISC-V processor core from scratch, demonstrating the principles of pipelined computer architecture. The design achieves instruction-level parallelism through a classic 5-stage pipeline while maintaining correctness...
Completed
ESP32-based voice automation with TinyML wake-word detection
This project brings voice control to home automation through an embedded system built around the ESP32 microcontroller with on-device wake-word detection using TinyML. TinyML Wake-Word Detection Privacy: Audio processing happens...
Completed
Hardware-accelerated graphics using Bresenham's Circle Algorithm
This project implements hardware-accelerated graphics rendering on an FPGA, demonstrating how geometric algorithms can be translated into parallel digital logic for real-time visual effects. Bresenham’s Circle Algorithm in Hardware The...
Completed
G-code controlled drawing robot with motion planning algorithms
This project brings digital designs into the physical world through a custom-built CNC drawing machine. By implementing G-code parsing and motion control algorithms from scratch, the system translates vector graphics...