Projects

Muster — Security Dispatch Agent

Watches a secured site and decides who responds: hard constraints filtered in SQL, soft judgment left to the model, and the eligible responders compiled into the tool schema so an ineligible pick is unrepresentable rather than merely forbidden. Every decision is stored with its rationale and the exact state the agent saw.

dutchbook — Prediction Market Coherence Monitor

Watches 67,617 logical relations across the Polymarket catalog for prices that cannot all be true at once, and measures how long each contradiction survives — a median of 15 seconds. Only 3.9% cleared fees and real book depth, and the analysis ended by proving its own confirmed set was two extractor bugs.

tape — Order Book Replay & Market Surveillance

Replays a full trading day of NASDAQ order flow message by message — 400,391 messages reconstructed with zero divergences against the vendor's own book — and surfaces layering, spoofing and quote-stuffing as patterns a reviewer can watch unfold rather than a score they have to trust.

Paper Trail — Adversarial Evals for Document AI

A deterministic simulated economy that stress-tests an LLM auditor with injected accounting errors, using a bandit adversary that reweights toward whatever gets missed. The result is negative — and two dramatic-looking findings turned out to be bugs in the measurement apparatus.

Red Tape — Municipal Permitting, Mapped

Maps municipal permitting processes — every step, fee, and waiting period as a dependency graph, with a citation behind every number. Jurisdiction rules are pure data: cities #2 and #3 shipped with zero application-code changes.

OrbitDesk — Space Market Intelligence

A space-market intelligence terminal putting the live orbital catalog, the commercial supplier landscape, and the launch market on one console — 16,000+ objects propagated with SGP4 in a Web Worker and rendered in a single GPU draw call at 60 fps.

Apogee — Game Backend Platform

A seven-service game backend platform in Go: skill-based matchmaking, Kubernetes session allocation, a NATS-to-Parquet telemetry pipeline, deterministic replay, live-ops config, and synthetic load generation — deployed to k3d with ArgoCD and full observability.

Mendwave — AI Speech Editing

A production AI speech editor: change a word in the transcript and only that span is regenerated in the original speaker's voice, machine-verified, and spliced back into an otherwise bit-identical master — with no stored voiceprints. Live with paying customers.

Snake Game

In this rendition of the classic Snake Game, players guide a snake to collect preys scattered across the playing field.

Chat Application

As a vital component of our CPEN333A course project, we have developed a Simple Chat Application.

Prodoro

A fun productivity website with a pomodoro timer, a tasklist, and a bunch of unique customizations and games

Unity TSP Algorithm Visualizer

This project is a Unity-based application that visualizes various algorithms for solving the Traveling Salesman Problem (TSP). It provides a graphical interface to place cities on a 2D grid and then run different algorithms to find the shortest path that visits all cities.

Few-Shot Learning for Spam Detection with LLMs

A machine learning project exploring Bayesian Inverse Classification for spam detection using SmolLM2-135M-Instruct. Evaluates Zero-Shot, Naive Prompting, and Full Fine-Tuning approaches on the Enron dataset.

Blockchain-Based Federated Learning with Adaptive DP

A federated learning system combining blockchain coordination, IPFS storage, and adaptive differential privacy for trustless, privacy-preserving collaborative ML.

LeaseCheck — Lease Compliance Auditor

An AI-powered auditor that analyzes residential lease PDFs and flags clauses violating landlord-tenant law, citing the specific legal rule. Uses a RAG pipeline with pgvector retrieval and structured LLM review.

sEMG Gesture Decoder

A real-time hand gesture classifier that decodes surface EMG signals as they stream in, predicting gestures at ~1 ms latency. Built on a causal streaming pipeline over the Ninapro DB2 dataset with SVM/CNN models.