Ralf Rothenberger successfully defended his PhD Thesis titled Satisfiability Thresholds for Non-Uniform Random k-SAT and, thus, obtained his PhD title in Computer Science. He was supervised by Tobias Friedrich.
Our research focus is on theoretical computer science and algorithm engineering. We are equally interested in the mathematical foundations of algorithms and developing efficient algorithms in practice. A special focus is on random structures and methods.