Incoming BSc Applied Mathematics student.
I will be a BSc Applied Mathematics student exploring formal verifications, machine learning, and the mathematical foundations of computing. My projects focus on combining mathematical reasoning with practical programming to create intelligent and reliable systems.
Feel free to reach out via email or visit my GitHub.