Prof. Dr. Mira Mezini

Forschungsschwerpunkte: Software, Entwicklungsparadigmen, Programmiersprachen, Softwaresicherheit, Automated Software Engineering
Mira Mezini ist eine deutsche Informatikerin. Sie erforscht grundlegende Methoden und entwickelt praktische Werkzeuge, um Software zuverlässiger, sicherer und effizienter zu machen. Damit können digitale Anwendungen nicht nur schneller umgesetzt werden, sondern sind auch weniger fehleranfällig und besser vor Angriffen sowie Missbrauch geschützt. Diese nachhaltige Steigerung der Softwarequalität ist entscheidend für unsere zunehmend digitalisierte Wirtschaft und Gesellschaft.
Im Schwerpunkt „Programmiersprachen und -paradigmen“ untersucht Mira Mezini, wie moderne Programmiersysteme gestaltet sein müssen, um es den Entwicklerinnen und Entwicklern der digitalen Anwendungen zu ermöglichen, den wachsenden Anforderungen an diese Anwendungen bezüglich Zuverlässigkeit, Sicherheit, Lernfähigkeit und Skalierbarkeit produktiv gerecht zu werden – möglichst so, dass die Abhängigkeit von großen, zentralen Cloud-Anbietern vermieden wird. Ein besonderer Fokus liegt dabei auch auf der Verbindung von Programmiersystemen mit künstlicher Intelligenz (KI). Hier entwickelt Mira Mezini Methoden, mit denen KI-Systeme zuverlässiger und effizienter gestaltet werden können – zum Beispiel durch neue Programmierkonzepte, die eine Kombination aus lernenden (neuronalen) und regelbasierten (symbolischen) Ansätzen ermöglichen.
Im Schwerpunkt „Automatisierung der Softwareentwicklung“ erforscht sie, wie KI die Entwicklung von Software einfacher, schneller und für mehr Menschen zugänglich machen kann – ohne dabei Kompromisse bei Zuverlässigkeit und Sicherheit einzugehen. Dazu werden verschiedene KI-Methoden kombiniert, um spezialisierte Systeme zu entwickeln, die korrekten und sicheren Programmcode automatisch erzeugen und verbessern.
Ein zentrales Anliegen ist ebenfalls die Entwicklung automatisierte moderner Analyseverfahren, um zu überprüfen, ob Programme Sicherheits- und Datenschutzvorgaben einhalten. So kann frühzeitig erkannt werden, ob Software Schwachstellen aufweist oder gegen wichtige Vorschriften verstößt. Damit leistet Mira Mezini einen wichtigen Beitrag dazu, dass digitale Anwendungen nicht nur leistungsfähig, sondern auch vertrauenswürdig und gesetzeskonform sind.