Prof. Dr. rer.nat. Michaela Huhn
Dezentrale Gleichstellungbeauftragte, Fakultät Informatik
Gebäude Am Exer 2, Raum 130, Wolfenbüttel
Sprechzeit: Do 14:00 Uhr
Einzeltermine bitte per Mail absprechen, oder nach der Vorlesung.
Meine Webseite.
Vita
seit 09/2015 Professorin für Softwaretechnik an der Ostfalia HaW
Mitgliedschaften in Programmkommittees
- IMBSA: International Symposium on Model-Based Safety and Assessment
- SEFM: International Conference on Software Engineering and Formal Methods
- IHTC: International Symposium on Model-Based Safety and Assessment
- SACLA: International Conference of the Southern African Computer Lecturers’ Association
im Editorial Board
- Research Directions: Cyberphysical Systems
Lehre
Lehrveranstaltungen
Aktuelle Vorlesungen (in unregelmäßigen Abständen, Historie s. unten, Vorlesungsmaterialen in Moodle)
- Software Engineering
- Theoretische Informatik
- Qualitätssicherung und Testen
- Formale Methoden (Master)
- Modellgetriebene Softwareentwicklung
- Weitere Programmiersprache (Haskell)
- Grundlagen der Programmierung und Programmieren
- Software für sichere Systeme (WPF)
- Seminar im Bachelor
WS 2025/26
- Software Engineering
- Theoretische Informatik
- Seminar im Bachelor
- Qualitätssicherung und Testen
SS 2025
- Software Engineering
- Theoretische Informatik
- Seminar im Bachelor
- Modellierung in UML und BPMN
- Formale Methoden (Master)
WS 2024/25
- Software Engineering
- Theoretische Informatik
- Seminar im Bachelor
- Qualitätssicherung und Testen
- Modellgetriebene Software Entwicklung (Master)
WS 2023/24
- Software Engineering
- Theoretische Informatik
- Seminar im Bachelor
Qualitätssicherung und Testen
Abschlussarbeiten bevorzugt zu
- Sicherheitskritische Systeme
- Qualitätssicherung und Testen
- Domänenspezifische Sprachen
Projekte
Forschungsinteressen
Forschungsinteressen liegen im Bereich "Modellierung und Formale Methoden", mögliche Anwendungsgebiete sind:
- Dependable Systems and Certification
- Test and Verification
- Software Engineering and Programming Education
- Interessensgebiete
- Software Engineering
- Model Driven Development
- Validation and Verification
- Safety Critical Systems
Publikationen
Eine Liste der Publikationen finden Sie in der dblp (externer Link, öffnet neues Fenster).
Anfahrtsbeschreibung
Ostfalia - Fakultät Informatik
Am Exer 2
Liefer- und Rechnungsadresse:
Salzdahlumer Str. 46/48
38302 Wolfenbüttel
Am Exer 2
Liefer- und Rechnungsadresse:
Salzdahlumer Str. 46/48
38302 Wolfenbüttel
Route planen (Google) (externer Link, öffnet neues Fenster)
Ihre Cookie-Einstellungen haben diese Karte blockiert. Setzen Sie auch bei “Drittanbieter” einen Haken, um die Karte anschauen zu können.