interests: love for dancers. kizomba. find facts. sciences. ¡No pasarán! 🇺🇦 work: theoretical computer science & applied logic clegra.github.io currently in: L'Aquila, 🇮🇹