Dr. Marc Herbstritt

Scientific Staff


Fields of Duties

The Scientific Staff advises and supports the Directors concerning scientific and organizational questions. The principal tasks are the support of Dagstuhl Seminars, research prospects, public relations, bodies and boards, project works, benefit plans and quality control.


Dedicated activities



  • since 08.2009: Member of the scientific staff at Schloss Dagstuhl--Leibniz-Center for Informatics
  • 2008/2009: Editor Applied Sciences/Computer Science at Birkhäuser Verlag AG (today: Springer Basel)
  • 2008: Dissertation (doctorate; equivalent to Ph.D.) in Computer Science at the Albert-Ludwigs-University Freiburg im Breisgau. Title: "SAT-based Verification: From Core Algorithms to Novel Applications Domains", see [here]
  • 2004-2007: Member of the Transregional Collaborative Research Center (SFB/TR 14) "Automatic Verification and Analysis of Complex Systems", see [AVACS]
  • 2000-2007: Researcher at the Chair of Computer Architecture headed by Professor Dr. Bernd Becker, see [IRA]
  • 1994-2000: Studies in Computer Science (major) and Microsystems Technology (minor) at the Albert-Ludwigs-University Freiburg im Breisgau, see [ALU/FAW]


Publications, projects, teaching

See [dblp], [ACM Author Profile] and  [Google Citations].




Contact G+


Dr. Marc Herbstritt

Bild Dr. Marc Herbstritt

Schloss Dagstuhl - Office 

Saarland University

Campus E1 1, U13

66123 Saarbrücken



Fon: + 49 (0)681 / 302 38 49

Fax : + 49 (0)681 / 302 43 97

Email: marc.herbstritt(at)dagstuhl.de