I am an AI & Data Analytics student at UniTS, planning to pursue a Master’s in Mathematics. I have a practical background in Full Stack development and Linux, but my real passion lies in the theory. I enjoy using code to explore the math behind artificial intelligence and making complex concepts easier to visualize. My current interests include computational neuroscience and formal verification in Lean4. Ultimately, my goal is to look inside the 'black box' of machine learning and understand the mathematical foundations that make it work.