Dr. Nils Vortmeier

Publications

Please see my DBLP entry for an up-to-date list of publications.

Teaching at RUB

• Sommer 2023:
  • Model Checking
  • Seminar Satisfiability
• Winter 2022/23: Theoretical Computer Science (exercises)

Biography

• Since May 2022: Postdoctoral Researcher at Ruhr-University Bochum
• October 2020 – March 2022: Postdoctoral Researcher at the University of Zurich (Data Systems and Theory group, led by Dan Olteanu)
• January 2014 – September 2020: PhD student/Research assistant at TU Dortmund (Chair Logic in Computer Science, led by Thomas Schwentick)