Prof. Dr. Bettina Buth

• Software Engineering - speziell Testen und Qualitätsicherung
• Theoretische Informatik - speziell Formale Methoden
• Sichere und zuverlässige Systeme

• Modellbasierte Entwicklung und Verifikation
• Agile Software Entwicklung
• Testen
  • aktuell insbesondere Testen von und Testen mit KI
  • Model-based Testing
• Safety Critical Systems
  • aktuell insbesondere KI in safety critical systems
• Formale Verifikation 

Ausgewählte Abschlussarbeiten im Bachelor und Master

Prof. Dr Bettina Buth ist Professorin für Softwareengineering an der HAW Hamburg. Sie verfügt über langjähriger Erfahrung im Bereich Safety Critical Systems sowohl im akademischen als auch im industriellen Umfeld. Ihre Expertise umfasst allgemeine Techniken des Software Engineering ebenso wie den Bereich der Qualitätssicherung, Formale Methoden sowie spezielle Analysetechniken für Safety Critical Systems. Diese Erfahrung basiert unter anderem auf industriellen Projekten in den Bereichen Raumfahrt, Eisenbahnwesens sowie Luftfahrt. Bettina Buth ist seit 2004 Mitglied in der Fachgruppe EWICS TC7, dem European Workshop on Industrial Systems Reliability, Safety and Security. Sie ist Gründungsmitglied und komissarische Sprecherin der 2019 etablierten Arbeitsgruppe „KI und Test“ der GI-Fachgruppe „Test, Analyse, Verifikation“.