AI & Data Analytics student at UniTS, preparing for a Master’s in Mathematics. Bridging a practical background in Full Stack development and Linux systems with theoretical rigor, I use code as a high-precision medium to model the mathematical foundations of intelligence. I am passionate about distilling complex abstractions into elegant, visual intuitions. My research focuses on computational neuroscience and formal verification in Lean4, aiming to look beyond the "black box" of modern machine learning to uncover its theoretical justifications.
$\Lambda \!$ bout
$\int \!\!$ kills
Core Development
Scientific Computing & Data Science
Web & Mobile Development
Development Tools & Databases
System & Security
Documentation & Other
$\in \!$ ourses
First Year
- Mathematical Analysis I
- Linear Algebra and Elements of Geometry
- Introduction to Programming and Laboratory
- Mathematical Analysis II
- Probability Theory
- Introduction to Physics
- Computer Architecture and Operating Systems
Second Year
- Mathematical Methods and Models for Artificial Intelligence
- Algorithms and Data Structures
- Statistical Inference
- Computability, Complexity and Logic
- Optimization Algorithms
- Database Systems
- Numerical Analysis
- Ethical, Social and Legal Aspects of Artificial Intelligence
- Data Analytics
Third Year
- Introduction to Machine Learning
- Introduction to Artificial Intelligence
- Advanced and Parallel Programming
- Information Theory and Complex Systems
- Algebra 2 (elective)
- Topology (elective)