Schloss Dagstuhl : Marc Herbstritt

Marc Herbstritt : Druckversion

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

Head of the Editorial Office of Dagstuhl Publishing.
Coordinator of the third-party funded project LZI+DBLP.

Background

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: PhD 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]