Greetings!
My name is Andreas Avoukatos, and I am a master’s student in the Algorithms, Logic and Discrete Mathematics programme at the Department of Informatics, National and Kapodistrian University of Athens, Greece.
My main interest lies in the mathematics behind proof assistants. During my undergraduate years, my biggest gripe was that computers didn’t feel nearly as useful to pure mathematicians as they were to applied ones (having dabbled in both worlds myself). Discovering Homotopy Type Theory during my graduate studies changed that completely, and I’ve been fortunate enough to attend a few incredible workshops in the broader field abroad! :)
CV & Contact
What’s this?
This corner of the internet serves as my digital garden and a study diary, as I’m going through my master’s thesis. On the left sidebar, you can find my weekly notes alongside a few words about the events I’ve had the opportunity to attend.
Unlike a traditional blog, which demands complete, chronological posts, this website is a living work-in-progress, and is currently in its early steps. In continuation with the garden theme, notes here evolve through distinct stages:
- 🌱 Seedlings: barely started notes where more thought is needed.
- 🌿 Saplings: topics with a solid amount of content that still need refinement.
- 🌲 Trees: matured pieces of thought that shouldn’t change much beyond editorial touches.
"When you want to build a ship, do not begin by gathering wood, cutting planks, and distributing labor; instead, begin by awakening in people their yearning for the vast and endless sea." Antoine de Saint-Exupéry