✨ Andrea Luppie برنده نهمین کنگره بین المللی یوسرن در علوم صوری #USERN2024 @usern_congress @usern_net