Dr. Nils Vortmeier


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

Teaching at RUB

  • Sommer 2023:
  • Winter 2022/23: Theoretical Computer Science (exercises)


  • 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)


E-Mail: nils.vortmeier@rub.de

Office: MC 1.67

Ruhr-University Bochum
Faculty of Computer Science
Logic and Formal Verification
Universitätsstr. 150
D-44801 Bochum