

Niccolò Rigi-Luperti joins the group
March 1, 2025

We are delighted to welcome Niccolò Rigi-Luperti as the SAtRes group’s first doctoral researcher.
Niccolò Rigi-Luperti has studied Physics at the University of Heidelberg. For several years, he has been authoring the standard solutions for the renowned German informatics competition bwInf (Bundeswettbewerb Informatik). After working on stringology algorithms together with Florian Kurpicz at Peter Sanders’ Algorithm Engineering group, Niccolò Rigi-Luperti now joins the SAtRes group to research scalable distributed SAT solving methods.