Our research focuses on discovering, connecting, and verifying theoretical concepts through software implementation, such as algorithm development, mathematical modeling, & cryptographic proofs.