Projects

Reasoning-model fine-tune for paraphrase generation. Multi-domain LoRA training across literary, technical, and academic text. BERTScore 0.9521 beats BART and T5 on the same evaluation set.

Source → LLM · LoRA · fine-tuning

Two-stage diffusion pipeline generating buildable LEGO models from text. Transformer-based UNet3D conditioned on CLIP, 542k voxelized Objaverse samples, greedy LegoLization converts voxel output to physical bricks.

Source → diffusion · 3D · PyTorch · CLIP

Mixed Linear Model over 76k+ Wikispeedia gameplay paths (n=50,138) identifies semantic-similarity navigation as the dominant strategy: β=−21.3 s, p<0.001.

Site → Source → data analysis · NetworkX · mixed-effects · TF-IDF

Llama-3-8B fine-tuned as an EPFL teaching assistant: SFT, DPO alignment, RAG over coursebooks, then 4-bit/8-bit/GPTQ/AWQ quantization. Five models shipped to HuggingFace.

Source → LLM · SFT · DPO · RAG · quantization

DQN, DQN+auxiliary rewards, and DQN+RND benchmarked on Gymnasium's MountainCar-v0. A direction-aware throttle reward cuts training from 300 to 200 episodes.

Source → RL · DQN · PyTorch · Gymnasium

Distributed recommender in Scala 3.3 + Spark 3.5. ALS collaborative filtering, LSH/MinHash similarity search, biased baseline predictor across a 25-partition HashPartitioner.

Spark · Scala · ALS · distributed

StarDist + HoVerNet fine-tuned for yeast microscopy. F1 = 0.96 on the held-out test set. Ships training scripts and a `predict.py` CLI.

Source → segmentation · microscopy · PyTorch

Co-scheduling memcached against PARSEC batch workloads on a Kubernetes cluster. Ibench interference profiling across CPU/L1d/L1i/L2/LLC/membw. Exponential anti-burst regression policy.

Kubernetes · GCP · scheduling

Java bytecode verifier using abstract interpretation. Soot for IR and control-flow graphs, Apron for numerical abstract domains.

static analysis · Java · abstract interpretation

Standards-compliant ACME certificate-issuance client. Full HTTP-01 and DNS-01 challenge flows against the Pebble test CA.

security · PKI · Python

Client-side-encrypted key-value store in C with both local-file and HTTP-server modes. HMAC-SHA256 password hardening, per-entry random salt. The server cannot decrypt.

C · cryptography · systems · OpenSSL

VHDL hardware-timer peripheral with IRQ generation, Nios II assembly ISRs, integrated into a multicycle Nios II processor: building blocks for an FPGA stopwatch on the Gecko4Education board.

VHDL · assembly · FPGA

Snake game in pure Nios II assembly on the Gecko4Education FPGA. 96-LED display, memory-mapped button input, checkpoint save/restore every 10 points.

assembly · FPGA

Java + JavaFX online multiplayer Ticket to Ride with sockets, observer-pattern UI updates, immutable game state, and a spectator extension.

Java · JavaFX · multiplayer

Pac-Man clone on a hand-written Java 2D area-game engine: actor system, signal framework, RPG layer, super-pacman game on top.

Java · OOP · game engine