https://aflori.me/Recent content on Alessandro's PortfolioHugoen© 2026, Alessandro Flori.Thu, 15 Jan 2026 00:00:00 +0000https://aflori.me/blog/rodeo-tournament-maker-algorithm/Thu, 15 Jan 2026 00:00:00 +0000https://aflori.me/blog/rodeo-tournament-maker-algorithm/<div class="custom-toc"> <nav id="TableOfContents"> <ul> <li><a href="#introduction-and-motivation">Introduction and motivation</a></li> <li><a href="#the-rodeo-match-making-problem">The Rodeo-match-making problem</a> <ul> <li><a href="#number-of-matches-per-team">Number of matches per team</a></li> <li><a href="#matchmaking">Matchmaking</a></li> <li><a href="#assigning-matches-to-rounds">Assigning matches to rounds</a></li> </ul> </li> <li><a href="#conclusion">Conclusion</a></li> </ul> </nav> </div> <h2 id="introduction-and-motivation">Introduction and motivation</h2> <blockquote> <p>Padel is a game inspired from tennis, from which inherits most of its rules. The variation is in that the court is surrounded by see-through walls, where the ball can do its second bounce. The game is typically played in doubles.</p> </blockquote> <p>Rodeo is a type of tournament, and it is apparently a very popular formula in the Padel environment. Rodeo has no official set of rules, but in general matches are quick (e.g., one-game matches), teams all play the same number of matches and in general the team with most points/wins, wins the tournament. Interesting variations have players switch teams, and the player with most points wins. Some add a semi-final and final round.</p>https://aflori.me/about-me/Mon, 01 Jan 0001 00:00:00 +0000https://aflori.me/about-me/<h2 id="introduction">Introduction</h2> <p>Hi, I am Alessandro Flori, software developer currently based in Padova, Italy. I have a background in programming languages and distributed systems. I am passionate and proud of my craft, and always interested in improving and learning new things. I am eager to apply my skills to solve new and interesting problems!</p> <p>In my free time I like to read and watch sci-fi, keep up to date with the tech world, also, I am a very bad climber <span class="emojify">🙃</span>.</p>https://aflori.me/resume/Mon, 01 Jan 0001 00:00:00 +0000https://aflori.me/resume/<div class="custom-toc"> <nav id="TableOfContents"> <ul> <li><a href="#experience">Experience</a> <ul> <li><a href="#software-developer-in-formal-methods-unit">Software Developer in Formal Methods Unit</a></li> <li><a href="#software-developer-in-test">Software Developer in Test</a></li> </ul> </li> <li><a href="#education">Education</a> <ul> <li><a href="#master-of-science-in-computer-science">Master of Science in Computer Science</a></li> <li><a href="#bachelor-of-science-in-computer-science">Bachelor of Science in Computer Science</a></li> </ul> </li> <li><a href="#projects">Projects</a> <ul> <li><a href="#telegraft">Telegraft</a></li> <li><a href="#lcsfe-local-checking-for-systems-of-fixpoint-equations">LCSFE (Local Checking for Systems of Fixpoint Equations)</a></li> <li><a href="#tsp-travelling-salesperson-problem">TSP (Travelling Salesperson Problem)</a></li> </ul> </li> </ul> </nav> </div> <h2 id="experience">Experience</h2> <h3 id="software-developer-in-formal-methods-unit">Software Developer in Formal Methods Unit</h3> <p><strong>Fondazione Bruno Kessler</strong> | <em>Trento, Italy</em> | <em>Feb 2024 - Dec 2025</em></p> <p>I worked as a software developer in the Formal Methods unit. As a software developer I was tasked with implementing specifications agreed with and set by researchers. More specifically I worked in the context of the ESA funded ExploDTwin <sup id="fnref:1"><a href="#fn:1" class="footnote-ref" role="doc-noteref">1</a></sup> project where we designed a framework for digital twins leveraging SysML v2 and model checking tools. The framework, given a SysML v2 formal model, can extract automatically the monitoring and planning component.</p>