Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Andreas Zeller - Lehrstuhl für Softwaretechnik (Prof. Zeller) - Universität des Saarlandes
[go: Go Back, main page]
  

Andreas Zeller
Lebenslauf

 Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes, FR Informatik
Postfach 15 11 50
66041 Saarbrücken
E-mail: zeller@cs.uni-sb.de
Telefon: +49 (0)681 302-64011

Deutschsprachige Startseite Page d'acceuil en français English home page
   [Lebenslauf | Wissenschaftlicher Werdegang | Veröffentlichungen | Vorträge | Lehrveranstaltungen | Wissenschaftliche Aktivitäten | Fördermittel | Auszeichnungen]

Lebenslauf
28. Oktober 1965 Geboren in Hanau
Juni 1984 Abitur (sehr gut)
September 1984 - Juli 1991 Studium der Informatik mit Nebenfach Recht an der Technischen Universität Darmstadt
Juli 1991 Diplom in Informatik (mit Auszeichnung bestanden)
September 1991 - Mai 1997 Wissenschaftlicher Mitarbeiter (BAT IIa) an der TU Braunschweig, Abteilung Softwaretechnologie
Mai 1997 Promotion zum Dr.-Ing. (mit Auszeichnung bestanden)
Juni 1997 Ernennung zum Wissenschaftlichen Assistenten (C1), TU Braunschweig, Abteilung Softwaretechnologie
April 1999 Ernennung zum Wissenschaftlichen Assistenten (C1), Universität Passau, Lehrstuhl für Software-Systeme
April 1999 - Mai 2001 Wissenschaftlicher Assistent (C1) am Lehrstuhl für Software-Systeme
Juni 2001 - April 2003 Professor (C3) für Softwaretechnik, Universität des Saarlandes
Juni 2002 Ruf auf Professur Softwaretechnik (C4) der Universität Mannheim (abgelehnt)
Dezember 2002 Ruf auf Professur «Software Engineering» der Universität Zürich (abgelehnt)
Januar 2003 Ruf auf Professur Softwaretechnik (C4) der Universität Hannover (abgelehnt)
seit Mai 2003 Professor (C4) für Softwaretechnik, Universität des Saarlandes

Wissenschaftlicher Werdegang

 Nach meinem Studium der Informatik, das ich 1991 mit Auszeichnung abschloß, wurde ich wissenschaftlicher Mitarbeiter an der neugegründeten Abteilung Softwaretechnologie der TU Braunschweig. Dort entwickelte ich ICE, ein System zur Versionskontrolle von Software, das alle bekannten Ansätze der Versionierung in einem logik-basierten Ansatz vereinigte. Die Arbeit fand schnell Anerkennung; die Dissertation (Gutachter: Gregor Snelting, Walter F. Tichy) wurde 1997 mit dem Ernst-Denert-Preis für die beste Arbeit der deutschen Softwaretechnik ausgezeichnet.

Bereits während der Promotionszeit hatte ich mich mit dem Problem der Fehlersuche beschäftigt; mein graphischer Debugger DDD war nebenbei zum GNU-Werkzeug mit 250.000 Anwendern geworden. Auf meiner neuen C1-Stelle untersuchte ich, wie man durch systematisches Testen fehlerverursachende Änderungen bestimmen kann. Das Delta-Debugging-Verfahren kann schnell und vollautomatisch externe Fehlerursachen wie Code-Änderungen, Eingaben oder Benutzeraktionen bestimmen - gestützt allein auf einen automatischen Test. Ich arbeite mit den Forschungsabteilungen von IBM und Microsoft zusammen, um Delta Debugging in aktuelle Test- und Analysewerkzeuge einzubinden.

Auf meinem Lehrstuhl in Saarbrücken habe ich Delta Debugging auf interne Fehlerursachen ausgedehnt: fehlerverursachende Programmzustände, wie sie während eines Programmlaufes entstehen. Damit können wir automatisch Ursache-Wirkungs-Ketten bestimmen, die das Entstehen eines Fehlers eindrucksvoll präzise beschreiben - und dies für große Programme wie den GNU C-Compiler, die sich ansonsten jeglicher existierender Programmanalyse entziehen. Seit 2003 ist der AskIgor Debugging Server öffentlich zugänglich.

Neben der Forschung habe ich in der Ausbildung Maßstäbe gesetzt: Das Praktomat-System sichert seit 1999 in den Programmierpraktika in Passau, Würzburg und Saarbrücken die Softwarequalität durch Programmanalyse, automatische Tests und systematische Code-Reviews.

Auch meine zukünftigen Forschungstätigkeiten werden in den späten Phasen der Softwareentwicklung liegen. Wie kann man aus einer Vielzahl konkreter Läufe allgemeine Eigenschaften ableiten? Wie spielen statische Analyseverfahren mit konkreten Tests zusammen? Wie kann ich wiederkehrende Muster im Programmlauf und der Programmentwicklung erkennen und beschreiben? Der Grenzbereich zwischen Praxis und Theorie, zwischen Abstraktion und Konkretisierung - das ist mein Lieblingsgebiet. Und mein Wille ist, neue Verfahren nicht nur zu erkunden, sondern sie auch hier und heute praktisch nutzbar zu machen.

Veröffentlichungen

Books

Journal Articles and Book Chapters

Theses

Conference Papers

Workshop Papers

Magazines and Encyclopedia

Lecture Notes
  • A. Zeller, G. Snelting: Einführung in Software Engineering. Lecture Notes, Passau, 2000 and Saarbrücken, 2001.
  • G. Snelting, A. Zeller: Einführung in Software Engineering. Lecture Notes, Braunschweig, 1998.
  • A. Zeller, J. Krinke: Software-Werkzeuge. Lecture Notes, Braunschweig, 1998.

Other Publications

Vorträge
  • Causes and Effects in Computer Programs. Eingeladener Vortrag, International Conference on Compiler Construction (CC 2005).
  • Causes and Effects in Computer Programs. Eingeladener Vortrag, 5th International Workshop on Automated and Algorithmic Debugging (AADEBUG), Ghent, Belgien, September~2003.
  • Isolating Cause-Effect Chains from Computer Programs.
    • ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE-10), Charleston, South Carolina, November 2002.
    • Massachusetts Institute of Technology, Harvard, November~2002.
    • Eingeladener Vortrag, International Workshop on Principles of Diagnosis (DX-02), Semmering, Austria, Mai 2002.
    • IBM T.J. Watson Research Center, Hawthorne, New York, Oktober 2001.
    • Programming Languages Research Group, Rutgers University, New Jersey, Oktober 2001.
  • Isolating Failure-Inducing Thread Schedules. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), Rom, Juli 2002.
  • Warum stürzt mein Programm ab? Automatisches Bestimmen von Fehlerursachen
    • Infor GmbH, Friedrichsthal, Juli 2002.
    • Universität Zürich, Januar 2002.
    • Interactive Objects Software GmbH, Freiburg, Januar 2002.
    • Universität Passau, Dezember 2001.
    • Universität Saarbrücken, Dezember 2001.
    • Universität Mannheim, Oktober 2001.
  • Systematische Fehlersuche. Kolloquium, IEEE Student Branch an der Universität Passau, Juni 2001.
  • Extreme Programming. Informatik-Kolloquium, Universität Passau, Juni 2001.
  • Extraction and Visualization of Memory Graphs. Dagstuhl-Seminar "Software Visualization", Mai 2001.
  • Automatische Fehlersuche mit Delta Debugging.
    • Universität Saarbrücken, Januar 2001.
    • Humboldt-Universität Berlin, November 2000.
  • Automatisches Debugging. Fraunhofer-Patentstelle für die Deutsche Forschung, München, Dezember 2000.
  • Simplifying Failure-Inducing Input. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2000), Portland, Oregon, August 2000.
  • Isolating Failure-Inducing Schedules. IBM T.J. Watson Research Center, Hawthorne, New York, Oktober 2000.
  • Finding Failure Causes through Automated Testing. Fourth International Workshop on Automated Debugging (AADEBUG 2000), München, August 2000.
  • From Automated Testing to Automated Debugging.
    • Microsoft Research/University of Washington Summer Institute, August 2000.
    • IBM T.J. Watson Research Center, Hawthorne, New York, März 2000.
  • Making Students Read and Review Code. 5th ACM SIGCSE/SIGCUE International Conference on Innovation and Technology in Computer Science Education (ITiCSE 2000), Helsinki, Finnland, Juli 2000.
  • Animating Data Structures in DDD. ACM SIGCSE/SIGCUE Program Visualization Workshop, Joensuu, Finnland, Juli 2000.
  • Software-Konfigurationsmanagement mit Feature-Logik. Universität Saarbrücken, Juni 2000.
  • Datenstrukturen visualisieren und animieren mit DDD. GI-Workshop: Softwarevisualisierung (SV 2000), Schloß Dagstuhl, Mai 2000.
  • Yesterday, my program worked. Today, it does not. Why?
    • Universität Karlsruhe, Dezember 1999.
    • IBM T.J. Watson Research Center, Hawthorne, New York, November 1999.
    • Microsoft Research, Redmond, Washington, November 1999.
    • Joint 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Toulouse, September 1999.
    • Universität Dortmund, Juni 1999.
  • Software Configuration Management: State of the Art, State of the Practice. Toulouse, September 1999.
  • Software Maintenance: What do we know? What should we know? Dagstuhl-Seminar, Februar 1999.
  • Datenstrukturen visualisieren mit DDD. Workshop Graphenzeichnen, Passau, September 1998.
  • Versioning System Models through Description Logic. 8th International Symposium on System Configuration Management, Brüssel, Juli 1998.
  • Konfigurationsmanagement mit Versionsmengen
    • Universität Siegen, Juni 1997.
    • Dissertationsvortrag, Braunschweig, April 1997.
    • RWTH Aachen, November 1996.
  • Software Configuration with Feature Logic. Workshop on Knowledge Representation and Configuration Problems, Dresden, September 1996.
  • Smooth operations with square operators - The version set model in ICE. 6th International Workshop on Software Configuration Management, Berlin, März 1996.
  • A Unified Version Model for Configuration Management. 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, Washington, Oktober 1995.
  • Handling Version Sets through Feature Logic. 5th European Software Engineering Conference, Sitges, Spanien, September 1995.
  • Inferenzbasierte Werkzeuge in NORA. Softwaretechnik '93, Dortmund, November 1993.

Lehrveranstaltungen
  • Einführung in die Softwaretechnik. Stammvorlesung und Praktikum 2+4, Sommersemester 2003.
  • Automated Debugging. Spezialvorlesung (engl.) und Übung 2+2, Wintersemester 2002/2003.
  • Software-Design-Praktikum. (mit P. Slusallek) Vorlesung und Praktikum 2+6, Wintersemester 2002/2003.
  • Programmanalyse (mit H. Cleve und N. Fritz). Seminar 2+0, Sommersemester 2002.
  • Softwaretechnik II (mit J. Hertel). Spezialvorlesung und Übung 4+2, Sommersemester 2002.
  • Software-Design-Praktikum. (mit A. Feldmann und P. Slusallek) Vorlesung und Praktikum 2+6, Sommersemester 2002.
  • Softwaretechnik I. Stammvorlesung und Praktikum 2+4, Wintersemester 2001/2002.
  • Programmierwerkzeuge. Vorlesung 2+0, Wintersemester 2001/2002.
  • Software-Design-Praktikum. (mit A. Feldmann und P. Slusallek) Vorlesung und Praktikum 2+6, Wintersemester 2001/2002.
  • Einführung in Software Engineering. Vorlesung 2+0, Wintersemester 2000/2001.
  • Automatisches Debugging (mit H. Cleve). Seminar 2+0, Wintersemester 2000/2001.
  • Software-Engineering-Praktikum. Sommersemester 2000.
  • Software-Werkzeuge. Vorlesung und Praktikum 2+1, Wintersemester 1999/2000.
  • Praxis des Programmierens. Vorlesung und Praktikum 2+2, Sommersemester 1999.
  • Einführung in Software Engineering. Vorlesung 2+0, Wintersemester 1998/1999.
  • Software-Werkzeuge (mit J. Krinke). Vorlesung und Praktikum 2+1, Sommersemester 1998.
  • Einführung in Software Engineering. Vorlesung 2+0, Wintersemester 1997/1998.
  • Programmieren in C und C++. Blockveranstaltung 2+0, Sommersemester 1997.
  • Objektorientierte Entwurfsmuster (mit J. Krinke). Seminar 2+0, Sommersemester 1997.
  • Software-Werkzeuge (mit J. Krinke). Vorlesung 2+0, Sommersemester 1997.
  • Grundzüge der Informatik I - Programmieren. Vorlesung und Praktikum, 2+2, Wintersemester 1996/1997.
  • Programmieren in C und C++. Blockveranstaltung 2+0, Sommersemester 1995.
  • Programmieren in C und C++. Blockveranstaltung 2+0, Sommersemester 1994.
  • Programmieren in C und C++. Blockveranstaltung 2+0, Sommersemester 1993.
  • Programmieren in C und C++. Blockveranstaltung 2+0, Sommersemester 1992.

Betreute Arbeiten (Auswahl)
  • R. Hildebrandt: Minimierung fehlerverursachender Eingaben. Diplomarbeit, TU Braunschweig, April 2000. Ausgezeichnet mit dem Ernst-Denert-Preis 2001 für die beste deutschsprachige Diplomarbeit der Softwaretechnik. Betreuer: Andreas Zeller.
  • M. Krone: Reverse Engineering von Konfigurationsstrukturen. Diplomarbeit, TU Braunschweig, Mai 1994. Ausgezeichnet mit dem Ernst-Denert-Preis 1995 für die beste deutschsprachige Diplomarbeit der Softwaretechnik. Betreuer: Gregor Snelting, Andreas Zeller.

Wissenschaftliche Aktivitäten

Fördermittel
  • USD 15.100,- Fördermittel des Eclipse Innovation Awards, Dezember 2003.
  • USD 27.500,- Fördermittel des Eclipse Innovation Awards, Dezember 2002.
  • € 110.000,- Sachbeihilfe der DFG für Grundlagenforschung, Projekt SN 11/8-1 "Delta Debugging", Februar 2001.
  • € 100.000,- Fördermittel der BayernPatent-Initiative für die internationale Patentierung eines Verfahrens der automatischen Fehlersuche, Februar 2001.
  • € 36.000,- Fördermittel zum Ausbau des Lehrangebots der Virtuellen Hochschule Bayern, Projekt "Java-Online-Praktikum" in Zusammenarbeit mit Universität Würzburg, Februar 2001.

Auszeichnungen
[Lebenslauf | Wissenschaftlicher Werdegang | Veröffentlichungen | Vorträge | Lehrveranstaltungen | Wissenschaftliche Aktivitäten | Fördermittel | Auszeichnungen]

Andreas Zeller <zeller@cs.uni-sb.de> · http://www.st.cs.uni-sb.de/~zeller/cv.php3 · Stand: 2004-01-29 11:59