Ralf Rothenberger
Graduate Student, University of Potsdam
Ralf Rothenberger is finishing his PhD at the Hasso Plattner Institute in Potsdam, Germany. His research includes random SAT, satisfiability thresholds, and proof complexity. His works are published at top conferences such as AAAI, IJCAI, ICALP, and ESA. Ralf is currently working on the project "Scale-free Satisfiability" of German Research Foundation together with Vijay Ganesh from the University of Waterloo and Jordi Levy from the Artificial Intelligence Research Institute in Barcelona.
Program Visits
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Microsoft Research Fellow.