class Bayesian RoVeR-CoRe A probabilistic safety analysis project using Bayesian inference and Monte Carlo simulation to quantify conservatism in formal verification of autonomous rover controllers. Image Compression A linear algebra project exploring image compression through Singular Value Decomposition (SVD) and Fourier Transform techniques. Chladni Plates Modeling Chladni plate vibration patterns using PDEs to predict and compare spatial structures at natural frequencies. MiniGit A lightweight version control system mimicking Git’s core features—add, commit, checkout, and search—implemented without a remote server.
