Michele Dinelli

About

I obtained my master’s degree in Computer Science in March 2026. During my studies, I completed one year of full-time experience as a backend software developer and undertook an internship at an Italian scale-up company providing geo-distributed, S3-compatible storage solutions.

During my master’s program, I served as a teaching assistant, primarily for the Data Structures and Algorithms course, and I spent one year as a research fellow.

The courses I enjoyed the most are Data Structures and Algorithms, Cryptography, and Emerging Programming Paradigms. I also developed a strong interest in the theoretical foundations of computer science, particularly type theory, logic, and category theory.

I place considerable importance on the practical application of concepts, in line with the saying attributed to Xunxi: “I hear and I forget. I see and I remember. I do and I understand.”

Outside of my academic and professional activities, I am a runner and enjoy sports more generally. I also read manga and pursue both technical and non-technical learning. In my free time, I play chess and guitar, write software, and read books

I may post sometimes about what I do on the blog section.