Team
Niccolò Rigi-LupertiNiccolò 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 studied Physics at Heidelberg University from 2016 to 2023, where I wrote my Master Thesis on experimental quantum photonics.
Since 2017 I am a jury member at the German National Computer Science Competition BWINF. From 2017 to 2021 I authored standard solutions for the competition, and participated in 2016 as a finalist.
Research Focus
- Distributed and parallel SAT solving
News
- Our paper on Parallel SAT Sweeping got accepted to FMCAD'26 !
- Our paper on the Mallob Toolchain received a Distinguished Paper Award at CAV'26 !
- Our paper with Armin Biere received a Best Paper Award at SAT'25 !
Publications
My peer-reviewed publications can be found here (or use this link for all publications).