

Niccolò Rigi-Luperti

MSc. Niccolò Rigi-Luperti
Doctoral researcher
Building 50.34; Room 210
Am Fasanengarten 5
DE-76131 Karlsruhe
Germany
Phone:
Bio
Hello, my name is Niccolò Rigi-Luperti and I am a doctoral student at the Scalable Automated Reasoning group led by Dominik Schreiber.
Before joining SAtRes, I worked on succinct datastructures together with Florian Kurpicz at Peter Sanders’ Algorithm Engineering group (2023-2024). I have a masters degree in Physics from Heidelberg University (2016-2023), where I worked on experimental quantum photonics.
During my A Levels (‘‘Abitur’’) I was a finalist at the German National Computer Science Competition BWINF (Bundeswettbewerb Informatik). Since then I am a jury member of the yearly competitions (2017-present) and authored several of their standard solutions (2017-2021).
Research Focus
- Distributed and parallel SAT solving
Publications
See the group publication page.