Dr. Dominik Helm
Dominik Helm ist Vertretungsprofessor für Software Engineering an der Universität Duisburg-Essen. Er beschäftigt sich aktuell mit der Modularisierung und automatischen Parallelisierung von kollaborativen statischen Analysen, um die Präzision, Soundness und Skalierbarkeit statischer Analysen zu verbessern. Insbesondere arbeitet er am OPAL Framework für statische Analysen für Java VM Bytecode, um Analysen zum Finden von Bugs und Sicherheitslücken zu verbessern. Analysen, an denen er bisher gearbeitet hat, umfassen Purity- und Immutability-Analysen sowie modulare, feature-konsistente Callgraphen.
Er ist aktuell leitender Entwickler des OPAL Frameworks.
Forschungsinteressen:
- Softwaresicherheit und -qualität
- Modulare statische Analysen
- Qualität von Programmanalysen
Publikationen
Vertretungsprofessor
Dr.-Ing. Dominik Helm
Universität Duisburg-Essen
Abteilung Software Engineering
Gerlingstraße 16
45127 Essen
German
Abteilung Software Engineering
Gerlingstraße 16
45127 Essen
German
Telefon: | +49 201 183-4653 |
E-Mail: | dominik.helm@paluno.uni-due.de |
Raum: | SGW-110 |