Ich vertrete das Fach Rechnerarchitektur in Forschung und Lehre. Hierbei liegt ein Schwerpunkt auf der Entwicklung und dem Einsatz von Schaltkreisentwurfswerkzeugen. Die Forschungsgebiete reichen von Systemebenenbeschreibungen in SystemC über Test- und Verifikationsanwendungen bis hin zur Schaltungssynthese.

Seit März 2012 leite ich die AG Zuverlässige Eingebettete Systeme, die im Rahmen einer Kooperationsprofessur mit der Abteilungsleitung der Abteilung Avioniksysteme im Institut für Raumfahrtsysteme des Deutschen Zentrums für Luft- und Raumfahrt (DLR) verknüpft ist.

Als Team-Assistentin zusammen mit Birthe Semken bearbeite ich für die Arbeitsgruppe Rechnerarchitektur sämtliche Aufgaben aus dem Verwaltungsbereich. Ein Schwerpunkt meiner Arbeit liegt in der Administration der Drittmittelprojekte der AG.

Ich bin in der Geschäftsstelle des Graduiertenkollegs System Design und kümmere mich um sämtliche Aufgaben aus dem Verwaltungsbereich, personelle Belange und die administrative Organisation.

Als Team-Assistentin zusammen mit Regine Janssen bearbeite ich für die Arbeitsgruppe Rechnerarchitektur sämtliche Aufgaben aus dem Verwaltungsbereich. Darüber hinaus gehört zu meinen Aufgaben die Planung und Abwicklung von Dienstreisen.

Ich bin Sekretärin in der Arbeitsgruppe Zuverlässige Eingebettete Systeme und kümmere mich um personelle und projektbezogene Belange.

Ich arbeite als technischer Angestellter in der Arbeitsgruppe Rechnerarchitektur. Meine Aufgabe liegt in der Administration der Rechner der Arbeitsgruppe, sowie der Betreuung und Beratung der Mitarbeiter und Studenten. Ferner bin ich Ansprechpartner für alle technischen Belange der AG Rechnerarchitektur.

Mein Schwerpunkt liegt im Bereich der Forschung von „reversiblen Schaltkreisen und Quantum Computing". Insbesondere interessiere ich mich für die Optimierung von reversiblen und Quanten-Schaltungen in Bezug auf die Kosten, die Anzahl der Gatter, die Tiefe und die Komplexität.

Zuverlässigkeit ist ein wichtiger Punkt in Raumfahrtsystemen. Gründe dafür sind schwierige Reparatur von Hardware, hohe Kosten für den Start und ionisierende Strahlung von der Sonne. Insbesondere der Letztere ruft transiente und permanente Effekte auf digitalen Schaltungen hervor, die eventuell zu einem unerwünschtem Verhalten des Systems führen.
Meine Forschungsinteressen liegen im Bereich Fehlertoleranz von digitalen Systemen auf Gatter- als auch Systemebene mit Hilfe von Hardware-Software Interaktion. Ich nehme in der Graduiertenschule System Design teil und bin als FPGA Designer in der Avionikgruppe vom DLR Bremen tätig.

Meine Forschungsinteressen liegen im Bereich des Entwurfs und der Verifikation von eingebetteter Systeme auf Systemebene. Derzeit befasse ich mich mit der Entwicklung simulativer Methoden zur Verifikation von System-On-Chip (SoC) auf abstrakter Entwurfsebene.

Meine Forschung liegt im Bereich des automatischen Debuggings für Eingebettete System. Die Entwicklung von formalen und semi-formalen Methoden steht dabei im Fokus.

Meine Forschungsschwerpunkte liegen im Bereich der (formalen) Verifikation für den Electronic System Level (ESL) Entwurf. Dabei geht es insbesondere um Systembeschreibungen und deren Korrektheit auf hoher Abstraktionsebene.

Sowohl in Forschung als auch Lehre bin ich hauptsächlich im Bereich der Evolutionären Algorithmen tätig. Hierzu werden für Studierende im Hauptstudium einführende, aber auch vertiefende Lehrveranstaltungen angeboten. Der Forschungsbereich konzentriert sich auf Anwendungen und Optimierungsprobleme aus der Welt des Schaltkreisentwurfs, die auf der Basis von Evolutionären Algorithmen untersucht und bearbeitet werden.

Mein Tätigkeitsbereich ist das Erfüllbarkeitsproblem (SAT). Ein Schwerpunkt meiner Interessen ist das effiziente Lösen von SAT-Instanzen. Mein anderer Schwerpunkt liegt im Bereich 'Test Digitaler Schaltungen'. In diesem untersuche ich das Generieren von Testmustern für Dynamische Fehlermodelle auf Basis des Erfüllbarkeitsproblems.

Meine Arbeit ist in der Pädagogischen Psychologie angesiedelt und beschäftigt sich mit Fragen des Lehrens und Lernens. In meiner aktuellen Forschungsarbeit geht es darum, Lernende bei der Bearbeitung von kontextgebundenen mathematischen Problemen zu unterstützen. Dazu werden Verfahren entwickelt und ihre Effektivität experimentell untersucht. Es findet ein Spektrum unterschiedlicher Methoden Berücksichtigung, die von der Förderung von Lesekompetenzen bis hin zur Auseinandersetzung mit gängigen Fehlern reichen.

Ich beschäftige mich mit deutscher und englischer Sprachverarbeitung (englisch: natural language processsing, kurz NLP) zur Gewinnung formaler Beschreibungen von Systemen. Diese Beschreibungen nutze ich dazu, das System formal zu verifizieren. Darüber hinaus beschäftige ich mich mit reversibler Logik und BioChips.

Mein Schwerpunkt in der Arbeitsgruppe liegt in der formalen Verifikation. Ich untersuche, wie sich bereits früh im Systementwurf der Korrektheitsaspekt berücksichtigen lässt. Im Graduiertenkolleg "System Design" übernehme ich die Koordinierung und die Betreuung der Doktoranden.

Ich befasse mich mit der formalen Verifikation von Systemen auf hohen Abstraktionsebenen. Der Schwerpunkt ist momentan die Entwicklung eines vollautomatisierten formalen Verifikationsflows für SystemC-TLM-Modelle, der Eigenschaftsprüfung, Fehlersuche, und Coverage-Analyse umfasst.

Bisher habe ich mich mit dem automatischen Testen von Programmen und der automatischen Testfallerzeugung beschäftigt. Mein Schwerpunkt in der Arbeitsgruppe liegt im Bereich des automatischen Debuggings Eingebetteter Systeme. Die Analyse des Datenflusses steht hierbei im Vordergrund.

Ich beschäftige mich in der AG mit der Analyse und der Verifikation von Software und Hardware. Hierbei liegt der Schwerpunkt auf Hardware/Software Systemen auf Basis von SystemC. Dabei wird insbesondere die Interaktion mit realer Hardware betrachtet.

Ich beschäftige mich mit Quantenschaltungen und reversibler Logik. Dabei untersuche ich Datenstrukturen, mit deren Hilfe sich auch größere Funktionen effektiv repräsentieren lassen und die gleichzeitig zur Synthese zugehöriger Schaltungen genutzt werden können.

Zwischen der natürlichsprachigen Beschreibung eines Systems, seiner formalen Beschreibung und schließlich der Implementierung klaffen jeweils Lücken, welche für Fehleranfälligkeiten im Entwicklungsprozess sorgen. Ich beschäftige mich im Rahmen der Graduiertenschule “System Design” damit, diese beiden Lücken durch die (semi-) automatisierte Verarbeitung natürlichsprachinger Beschreibungen sowie durch Generierung von Code aus formalen Beschreibungen (z.B. UML) zu schließen.

Mein Forschungsschwerpunkt ist die formale Verifikation von abstrakten Modellen wie z. B. UML. Darüber hinaus beschäftige ich mich mit Reversibler Logik und Quantencomputern.

Die Entwicklung korrekter und zuverlässiger nebenläufiger Programme ist ermüdend und fehleranfällig. Fehlerauswirkungen zeigen sich oft nur unter einem ganz bestimmten Zusammenspiel der ausgeführten Threads. Gleichzeitig fehlt im Gebiet der nebenläufigen Programmierung Unterstützung durch Werkzeuge für Programmierer. Meine Forschung richtet sich auf den Entwurf von automatischen Debugging-Methoden für nebenläufige Programme und umfasst das Auffinden von Fehlern, die Lokalisierung der Fehlerursachen, und letztlich die Reparatur von Programmen.

Mein Forschungsschwerpunkt liegt auf der formalen Verifikation von Hardware-Designs für Gleitkommaarithmetik. Insbesondere entwickle ich entsprechende Techniken für dezimale Floating-Point-Designs. Da dezimale Gleitkommaarithmetik erst vor wenigen Jahren im IEEE-Standard spezifiziert worden ist (IEEE Std754-2008), sind neue Techniken erforderlich, um die Einhaltung des Standards zu überprüfen.

Der Schwerpunkt meiner Forschung liegt im Bereich der reversiblen Logik, welche unter anderem als Grundlage für Quantencomputer dient und vielversprechende Anwendungen im Bereich des Low-Power Designs bietet. Dabei beschäftige ich mich insbesondere mit der Synthese reversibler Schaltkreise basierend auf Hardwarebeschreibungssprachen. Darüber hinaus bin ich in der Lehre aktiv.

Ich beschäftige mich mit der formalen Verifikation im Electronic System Level-Design, wobei Systeme auf einer höheren Abstraktionsebene betrachtet werden. Außerdem interessiere ich mich für reversible Logik und Quantum Computing.

Ich beschäftige mich in der Arbeitsgruppe mit der formalen Verifikation von formalen Modellen wie z. B. UML. Außerdem beschäftige ich mich mit reversiblen Schaltkreisen und Quantum Computing.

Mein Forschungsschwerpunkt liegt in der Untersuchung aktueller Beschreibungssprachen für den Hardware/Software-Entwurf. Zentrale Fragen sind dabei vor allem, wie solche hybriden Systeme visualisiert werden können und welche technischen Voraussetzungen dafür erfüllt werden müssen.

Meine Forschungsinteressen umfassen die Lösung komplexer Probleme mithilfe von SAT-Beweisern. Insbesondere untersuche ich dabei, wie Techniken zur massiven Parallelität für die Performanzsteigerung ausgenutzt werden können.

Ich erforsche im Kontext der Graduiertenschule „System Design” die Simulation und formale Verifikation von fehlertoleranten Systemen. Da die einzelnen Transistoren immer kleiner werden und weniger Spannung benötigen, können sich Signale durch kosmische Strahlen oder andere Nebeneffekte immer leichter verändern. Aus diesem Grund nimmt Fehlertoleranz in neuen Systemen eine immer wichtiger werdende Rolle ein. Die Fehlertoleranz soll gewährleisten, dass eine solche fehlerhafte Veränderung eines Signales sich nicht in einem für den Benutzer sichtbaren Defekt äußert. Hierbei betrachte ich im Speziellen den Prozessor Leon3.

Ich konzentriere mich auf die Forschung im Bereich der reversiblen Logik, welche vielversprechende Anwendungen z.B. im Low-Power Design oder für Quantenschaltkreise bietet. Bis heute existiert hierzu noch kein durchgängiger Entwurfsablauf - das muss sich ändern. Dabei betrachte ich insbesondere Aspekte wie Synthese, Verifikation und Diagnose reversibler Schaltungen. Darüber hinaus versuche ich existierende SAT- und SMT-Beweiser zu verbessern sowie sie effizient in Gebieten wie der formalen Hardware Verifikation anzuwenden.

Ich beschäftige mich in der Arbeitsgruppe mit der Visualisierung von Schaltungen spezifiziert in Hardwarebeschreibungssprachen. Insbesondere liegt mein Forschungsinteresse in der Entwicklung von Visualisierungsverfahren für Beschreibungen von Hardware auf „höheren“ Ebenen.

Ich bin Fachinformatikerin im Schwerpunkt Anwendungsentwicklung spezialisiert auf Digitale Medien. Ich beschäftige mich primär mit Web- sowie Print-Design und der Entwicklung von Internetseiten und Onlinetools.