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.
Background
- since 08.2009: Member of the scientific staff at Schloss Dagstuhl--Leibniz-Center for Informatics
- 2008/2009: Editor Applied Sciences/Computer Science at
Birkhaeuser Verlag AG - 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]
Publications, projects, teaching
See [DBLP] [1] , [ACM Author Profile] [2] and [Google Citations] [3] .
Memberships
- since 2000 member of Gesellschaft für Informatik e.V. (GI)
- since 2008 member of Association of Computing Machinery (ACM)
List of hyperlinks
[1]http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Herbstritt:Marc.html[2]http://portal.acm.org/author_page.cfm?id=81309486139&CFID=71210810&CFTOKEN=71220287
[3]http://scholar.google.com/citations?user=LRPc4KIAAAAJ
Dr. Marc Herbstritt
Schloss Dagstuhl - Office
Saarland University
Campus, E 1.1, U13
66123 Saarbrücken
Germany
Fon: + 49 (0)681 / 302 38 49
Fax : + 49 (0)681 / 302 43 97
Marc Herbstritt : Last Update 13.02.2012, 01:02 o'clock