Student in fundamental and applied mathematics, interested in theoretical computer science and AI alignment