Hi, I'm Nicolás Meléndez. I'm a mathematician working on the spectral theory of (un)bounded operators. I'm currently studying quasi-boundary triplets and working on a formal verification of the spectral theorem in Lean 4. I also spend a lot of time with the mathematical foundations of machine learning, with a particular focus on large language models. My interests include stochastic optimization, reinforcement learning and transformer-like architectures.

On the technical side, I work with Python for scientific computing and machine learning, especially NumPy, SciPy, PyTorch, and scikit-learn. I also use R, SQL, and some Rust. I enjoy Linux, Bash, and anything close to the system.

Spanish native, fluent in English, getting by in German. Feel free to reach out at nicolasmelendez30@gmail.com