Oliver Markgraf
Publications
Talks
Teaching
CV

Oliver Markgraf

he/him

Kaiserslautern, Germany
University of Kaiserslautern-Landau
Email
Google Scholar
ORCID
GitHub
dblp

Automated Reasoning

Roles: Co-Instructor (Substitute Lectures)(2023–2024)

Course page

Sitemap

Follow:
GitHub
Feed

© 2026 Oliver Markgraf, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2026-01-08