Hey there! 👋 🔭 Researching machine learning and programming language theory 🌱 Learning discrete mathematics and statistical computing