I am a Computer Science student from South Tyrol. Currently, I am pursuing a Master's degree at the University of Trento, where I specialize in Artificial Intelligence and Computer Vision. Before this, I earned Bachelor's degrees in Computer Science and Philosophy from the University of Innsbruck. During my time there, I was particularly interested in logic, formal verification (mainly using Isabelle/HOL), epistemology, and the philosophy of science.
If you'd like to connect, feel free to reach out via email, or you can find me on GitHub and LinkedIn.