Guten Tag Herr Veith,
anbei finden Sie die Abschrift Ihres Interviews. Bitte schauen Sie drüber und geben uns bescheid, ob es so in Ordnung ist.
Zudem würden wir noch gerne Photos von Ihnen machen. Am besten einmal in D120 (wo das Gespräch stattgefunden hat) und z.B. in Ihrem Büro. Bitte geben Sie uns bescheid, wann Sie zwischendurch fünf bis zehn Minuten Zeit dafür haben. Wir sind da sehr flexibel.
Gruß Andreas Marc Klingler
\Frage Wo waren Sie, bevor Sie nach Darmstadt gekommen ist?
\Antwort Ich habe an der TU Wien studiert und promoviert. Einige Jahre war ich dann immer wieder in Pittsburgh und habe dort meinen Postdoc gemacht. Anschließend habilitierte ich mich zunächst 1,5 Jahre und dann noch mal einige Sommer in Wien. Bin ich dann vor mittlerweile vier Jahren nach München berufen wurden und jetzt seit Februar in Darmstadt bin.
\Frage Was ist Ihr erste Eindruck von Darmstadt gewesen?
\Antwort Darmstadt ist eine sehr nette Stadt. Die Leute sind erstaunlich freundlich und wenn man das den Leuten sagt, sind sie vollkommen überrascht. Hier sind alle sehr hilfsbereit. Ich kann nur das Beste sagen über Darmstadt auch mit dem Park und dem "Campus Feeling".
\Frage War das in Wien nicht so?
\Antwort *leicht empört* Na, Wien ist auch eine schöne Stadt. Ich bin Österreicher und in der Nähe von Wien aufgewachsen.
\Frage Was haben Sie studiert?
\Antwort Computationale Logik. Das ist ein Studiengang, den es eigentlich gar nicht gegeben hatte. Den haben wir uns selbst geschaffen. In Österreich kann man sich bei Interessenlage einen Studienplan zusammenstellen und sich diesen vom Ministerium genehmigen lassen. Das bedeutet dann natürlich einen organisatorischen Mehraufwand, aber es hat auch Spaß gemacht. Das Studium war dann eine Mischung von Logik und Mathematik auf der einen Seite und Informatik auf der anderen Seite.
\Frage Also ähnlich wie Mathematics with Computer Science (MCS)?
\Antwort Ja, wobei in Wien der Anteil von Mathematik und Informatik sehr ausgewogen war, während hier der Informatikanteil nur ca. ein Viertel ist. Hinzu kommt noch, dass in Wien immer ein sehr großer Wert auf die Logik in der Informatik gelegt wurde.
\Frage War das auch Ihr Lieblingsfach im Studium?
\Antwort Ja. Das war sicher einer der Hauptgründe für diesen Studiengang.
\Frage Wie sieht Ihr Forschungsplan aus?
\Antwort Unser Fachgebiet wird den Namen ''Formal Methods in System Engineering'' tragen. Auf der einen Seite steht die Aufgabe, dass man informatische Systeme wirklich bauen will und auf der anderen Seite stehen dann die exakten mathematischen Methoden, damit diese Systeme auch korrekt funktionieren. Gerade im Bereich der Eingebetteten Systeme (Automobil-, Flugzeugindustrie) gibt es sehr sicherheitskritische Fragen, vor allem in Sinne von ''safety''.
\Antwort Der Fluch der Informatik ist, dass jeder ein kleines Programm schreiben kann und dieses auch ändern kann, wodurch das ganze sehr fehleranfällig wird. Man braucht also Methoden, die über das klassische Software Engineering, bei dem der Programmierer und seine Tätigkeiten kontrolliert werden, hinausgehen, und die dann tatsächlich das Programm überprüfen. Man kann das vielleicht mit der Funktionalität eines Compilers vergleichen, der den Programmcode auf bestimmte Eigenschaften untersucht. Ideal wäre es, wenn der Compiler das Programm auch noch auf Terminierung überprüfen könnte. Mit so einem Compiler hätte Microsoft ein paar Probleme weniger.
\Antwort Wir entwickeln also Methoden und Tools, die es uns erlauben Korrektheitseigenschaften von Software und Hardware zu überprüfen. Eine zentrale Methode ist ''Model Checking''. Darüber halte ich auch meine erste Vorlesung hier. Außerdem gibt es in diesem Semester auch noch ein Seminar über automatische Korrektheisanalysen von Software.
\Frage Wissen Sie schon, was Sie im Wintersemester anbieten werden?
\Antwort Geplant sind zwei Vorlesungen. Die eine Vorlesung soll eine Lücke schließen, die es hier in der theoretischen Informatik gibt - die Komplexitätstheorie. Das ist einfach ein Grundwerkzeug für jeden Informatiker. Die andere Vorlesung behandelt Entscheidungsprozeduren. Da werden NP vollständige Probleme auf Subsolver reduziert. Das sind hoch optimierte Programme, die mit den klassischen booleschen Erfüllbarkeitsproblem gut umgehen können. Es handelt sich dabei nur um ein paar Zeilen C-Code.
\Frage Welche Voraussetzungen braucht man für die Vorlesungen?
\Antwort Das wichtigste für mich ist Begeisterung. Außerdem setzt man natürlich das Grundstudium voraus. Mit der Logik im Grundstudium sind sie dann sehr gut vorbereitet auf die Veranstaltungen.
\Frage Wie sind Sie zur Informatik gekommen?
\Antwort Ich hatte im Abitur (Matura) eine Studienarbeit über automatische Sicherheit gemacht. Danach wollte ich eigentlich Mathematik studieren, aber da wurde ich von meinem Informatiklehrer zu einem theoretischen Informatiker geschickt, der mir dann sagte, dass solche Leute wie mich dringend in der Informatik gebraucht werden. Das hat mich dann überzeugt. Und da habe ich mit zwei Studienkollegen diesen neuen Studiengang geschaffen.
\Frage War das schwierig?
\Antwort Mit dem nötigen Enthusiasmus kann man bei den Professoren sehr viel erreichen. Das ist auch mein Tipp an die Studierenden: Wenn Sie an einem speziellen Thema interessiert sind und dann als Gruppe an einen Professor heran treten, dann glaube ich, dass Sie einiges Interesse erwecken können. Bei mir ganz sicher, es sei denn es liegt völlig außerhalb meiner Expertise. Wir warten doch in unserer Branche auf nichts so sehr wie auf begeisterte Studenten.
\Frage Haben Sie noch Tipps für Studenten?
\Antwort Man sollte die Informatik nicht nur als Programmierausbildung verstehen. Es ist einfacher, mit einem guten fundierten theoretischen Wissen praktische Probleme zu lösen.
\Frage Lassen Sie Ihre Tür offen stehen?
\Antwort Eine Tür, die immer offen steht, da fühlt man sich beobachet, gerade hier im Erdgeschoss. Ich sitze in E3 mit Prof. Mantel und Prof. Fürnkranz (fast alle Österreicher in einem Trakt). Dort ist es etwas ruhiger, aber trotzdem kann man nicht ständig die Tür offen haben, weil man auch konzentriert arbeiten muss. Man kann aber jederzeit anklopfen. Das schlimmste was passieren kann ist, dass ich keine Zeit habe, aber dann machen wir einen Termin aus.
\Frage Was ist bei Fragen?
\Antwort Ich stehe immer unmittelbar vor und nach der Vorlesung zur Verfügung. Bei schwierigeren Problemen macht man dann einen Termin mit mir aus, entweder nach der Vorlesung oder per E-Mail.
\Frage Was sind Ihre allgemeine Zukunftsvorstellungen hier an der TU Darmstadt.
\Antwort In der Informatik hat man viele Anküpfungspunkte in verschiedene Richtungen. Das wird sich dann mittelfristig oder in verschiedenen Projekten ergeben. Das kann man jetzt noch nicht sagen.
\Frage Warum ist der Frauenanteil in der Informatik niedrig? Und wie könnte man diesen anheben?
\Antwort Das ist eindeutig ein Problem der deutschsprachigen Länder. Es ist also ein kulturelles Problem. Wir haben ja generell schon zu wenige Studienanfängerinnen, was mit der Schulausbildung und mit der Gesellschaft zusammenhängen muss. In Italien zum Beispiel studieren sehr viele Frauen Informatik. Ein wichtiger Punkt sind die Vorbilder und da ist Darmstadt mit drei ganz ausgezeichneten Professorinnen sehr stark. Auf der anderen Seite muss man eben in Schulen gehen und Werbung für die Informatik machen.
\Antwort Ein Problem ist auch, dass die Informatik sehr einseitig dargestellt wird. Insofern besteht auch die Gefahr, dass das derzeitige Interesse wegbricht, sobald in der Zeitung steht, dass die Jobaussichten für Informatiker schlecht sind. Aber wir merken schon sehr stark, dass über Prognosen der Arbeitsmarktsituation die Anzahl der Studienanfänger sich stark ändern. Wir müssen einfach mehr vermitteln, dass die Informatik eine anspruchsvolle Wissenschaft ist. Wir sollten wegkommen von der rein technischen Ausbildung hin zu einer naturwissenschaftlichen Ausbildung.
\Frage Wenn Sie das heutige Studium mit ihrem damaligen vergleichen, welche Unterschiede fallen Ihnen auf?
\Antwort Die Bildung hat bei uns eine viel zentralerer Rolle gespielt. Man merkt, dass Ihre Generation sich sehr stark unter Druck fühlt, in kürzester Zeit eine auf dem Arbeitsmarkt anwendbare Ausbildung zu bekommen. Ich kann das nicht ganz nachvollziehen, weil man sich sehr viel mehr auf die Informatik einlassen kann und dann trotzdem noch auf dem Arbeitsmarkt vermittelbar sein wird und mittelfristig vielleicht sehr viel besser.
\Frage Meinen Sie dass der Druck stärker geworden ist?
\Antwort Man hört es von Seiten der Studenten: Bologna-Prozess, Anrechenbarkeit usw. Der Trend geht sehr stark hin zur Berufsausbildung statt zu einer wissenschaftlichen Ausbildung. Vor 15 Jahren wurde man noch an die Fachhochschule geschickt wurde, wenn man eine Berufsausbildung wollte. Ich möchte das jetzt nicht bewerten, aber es haben sich einfach die Rahmenbedingungen geändert. Ich denke schon, dass sich durch die Umstrukturierung die Universitäten es schaffen werden sich als elitär zu profilieren und auch wieder zu dem klassischen Bildungsgedanken zurückfinden.
\Frage Was halten Sie von der Exzellenzinitiative?
\Antwort Ich denke schon, dass das sehr wichtig ist, um international mithalten zu können. Und dazu gehört es, dass man Institutionen hat, in denen die begeistertsten Wissenschaftler und Leute, die Tag und Nacht arbeiten wollen, einander treffen und zusammen arbeiten. Und deswegen muss man sich schon von dem Gedanken lösen, dass das an jeder Uni und in jeder Stadt passieren kann. Entscheidende Rolle spielt dabei Geld, weil man dann die entsprechenden Leute auch anlocken und anstellen kann.
\Frage Sie waren ja im Ausland...
\Antwort Ich komme aus dem Ausland *lacht*
\Frage Was ist der größte Unterschied zwischen der Kultur im deutschsprachigen Raum und den USA?
\Antwort Wir müssen noch daran arbeiten, bei den Studierenden einen Stolz auf die eigene Institution zu entwickeln. Wir vermitteln viel zu wenig, was für wissenschaftliche Größen auf den Korridoren wandeln. In der Carnigan Mellon University (Pittsburgh) hat es jede Woche ein doppelseitiges Informationsblatt gegeben mit diversen Neuigkeiten, Auszeichnungen usw. Dadurch wird der Gemeinschaftssinn und die Identifikation mit der Universität gefördert.
\Frage Glauben Sie, dass da mehr getan werden muss?
\Antwort Der Druck auf die Universitäten wird auch von außen größer. Dadurch wird versucht, die eigenen Qualitäten stärker heraus zu arbeiten. Es ist ja auch für uns wichtig, dass Sie Ihren Freunden und Familien sagen, wie toll es ist, an der TU Darmstadt zu studieren. Die besten natürlich in der Informatik. *lacht*
\Frage Viele Studenten betrachten die Vorlesungen als passive Veranstaltung...
\Antwort Das ist auch eine Finanzierungsfrage. An den großen Universitäten sitzen immer nur 40-50 Studenten in den Grundvorlesungen. Das hängt vom politischen Willen ab.
\Frage Glauben Sie dass durch solche Veranstaltungen in der USA der Student mehr Richtung Forschung getrieben wird?
\Antwort Es wird großen Wert auf selbständiges Arbeiten gelegt. Man verbringt weniger Zeit in Vorlesungen und mehr Zeit mit Hausübungen, selbständigem Studium und Bücher lesen. Es wird eigentlich erwartet, dass, sobald Sie in die Vorlesungen kommen, das entsprechende Kapitel schon gelesen haben. Damit der Professor Ihnen die interessanten Aspekte erzählen kann und nicht das was Sie ohnehin schon in Büchern nachlesen können. Das würde hier natürlich einen gewissen Kulturbruch bedeuten.
\Antwort Die andere Seite ist - das klingt vielleicht etwas elitär - aber wenn sie von vorn herein nur 15% der Studenten zulassen, dann dürfen Sie davon ausgehen, dass sie alle mit sehr viel größeren Enthusiasmus kommen. Ich sage jetzt nicht, dass man das machen soll, aber natürlich steckt dieser Enthusiasmus auch an. Es sind halt zwei unterschiedliche Systeme.
\Frage Wir haben zum Schluss noch einige offene Sätze, die Sie vervollständigen dürfen: Informatik ist für mich...
\Antwort ... eine Grundlagenwissenschaft.
\Frage Mathematik ist für mich ...
\Antwort ... wichtiges Werkzeug der Informatik.
\Frage Das Piloty Gebäude ist ...
\Antwort ... wunderschön und viel zu klein.
\Frage Die schönste Programmiersprache ist ...
\Antwort ... Prolog.
\Frage 42 ist ...
\Antwort ... die Antwort auf alles.
\Frage Herr Veith, wir danken Ihnen für das Gespräch.