Projects
Independent and side projects, outside of formal coursework or lab work.
Projects
-
QBF Turing Machine Simulator.
A simulator and explicit deterministic multi-tape Turing machine for the PSPACE-complete Quantified Boolean Formula problem, with 35,000+ explicit transitions, Python verification tools, and reproducible testing infrastructure.
-
Calculus Questions: 250+ Challenging Questions.
A problem book of original calculus problems emphasizing creative problem-solving beyond the standard Calculus I–II curriculum.
-
ECIES Cryptosystem.
ECIES over NIST P-256 implemented in Python, including custom elliptic-curve arithmetic and ECDH key agreement, HKDF derivation, AES-GCM authenticated encryption, and HMAC. Validated against published test vectors.