Grundlagen der höheren Informatik: Induktives Vorgehen (eXamen.press)

Bernhard Steffen studierte Mathematik an der Christian-Albrechts Universit t zu Kiel, wo er anschlie end auch in der Informatik promovierte. Nach Forschungsaufenthalten am Laboratory for Foundations in Computer Science in Edinburgh und an der Universit t Aarhus, wurde er 1990 an die RWTH Aachen berufen, von wo er 1993 an die Universit t Passau auf den Lehrstuhl f r Programmiersysteme wechselte. Seit 1997 leitet er den Lehrstuhl f r Programmiersysteme und Compilerbau an der TU-Dortmund. Bernhard Steffen ist Gr nder der internationalen Konferenz ber Tools and Algorithm for the Conbstruction and Analysis of Systems (TACAS) und des internationalen Journals ber Software Tools for Technology Transfer (STTT).

Oliver R thing studierte Informatik an der Christian-Albrechts Universit t zu Kiel, wo er anschlie end 1991 -1997 als wissenschaftlicher Mitarbeiter arbeitete. Nach seiner Promotion 1997 mit Auszeichnung wechselte er als wissenschaftlicher Mitarbeiter an die TU-Dortmund wo er auch heute noch t tig ist. 2004 hatte er begleitend einen Lehrauftrag f r Compilerbau an der International University Bremen.

Malte Isberner studierte Informatik an der TU-Dortmund, wo er auch derzeit nach seinem Diplom als Jahrgangsbester als Doktorand arbeitet. Seine Arbeiten im Bereich Automatenlernen und sein mathematisch pr zises Vorgehen f hrten parallel zu einem mehrmonatigen Forschungsaufenthalt an der Carnegie Mellon Universit t.