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.
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Microsoft Research Fellow.