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.

Ich leite seit Oktober 2015 die Arbeitsgruppe Technische Informatik/IT-Sicherheit als Brückenprofessur mit dem Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) mit dem Forschungsschwerpunkt im Bereich der eingebetteten Sicherheit.

Mein Aufgabengebiet umfasst im Rahmen der Geschäftsstelle des Graduiertenkollegs System Design und der Arbeitsgruppe Technische Informatik / IT-Sicherheit die administratorische Organisation, die Verwaltung und das Personalwesen

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 Sekretärin in der Arbeitsgruppe Zuverlässige Eingebettete Systeme.

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 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.

Ich erhielt Abschlüsse als BSc. und MSc. von der Universität Bagdad, an der ich anschließend als Dozent gearbeitet habe. Derzeit bin ein Stipendiat in der Arbeitsgruppe zur Erlangung des Doktorgrades. Meine Forschung konzentriert sich auf die Betrachtung von Hardware-Beschreibungssprachen für reversible Schaltkreise.

Meine Tätigkeit innerhalb der Arbeitsgruppe liegt in der Erforschung neuer Techniken zur Formalisierung der natürlichen Sprache und der Verbindung der Erkenntnisse mit bereits existierenden Herangehensweisen. Darüber hinaus habe ich ebenfalls großes Interesse an exakten Methoden für Verifikation und Test konventioneller Schaltungen sowie Syntheseverfahren für Quantenschaltkreise.

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 beschäftige mich mit unterschiedlichen Aspekten der eingebetteten Sicherheit. Dabei untersuche ich insbesondere Technologien, die sicherheitskritische Hardware gegen passive und aktive Angriffe schützen.

Meine Forschung beschäftigt sich mit der Zuverlässigkeit von eingebetteten Systemen. Ich untersuche neue Methoden, um die Zuverlässigkeit von Hardware und Software zu verbessern. Insbesondere untersuche ich, wie die Zuverlässigkeit auf Ebene der Architektur von eingebetteten Prozessoren und im Hardware-Software Co-Design berücksichtigt werden kann. Ein weiteres Thema ist die Synthese von Schaltkreisen aus High-Level-Beschreibungen.

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.

Mein Themengebiet liegt im Bereich "Design Understanding". Ich untersuche, wie Entwickler darin unterstützt werden können, ein unbekanntes Design zu verstehen. Dies soll die Einarbeitung oder das Debugging des Designs erleichtern. Zur Automatisierung setze ich dabei zum Beispiel formale Methoden ein, die auch in der Eigenschaftsprüfung Anwendung finden.

Ich habe meinen Master- und Doktor-Abschluss von der Universität Sao Paulo in Brasilien erhalten, wo ich an Themen wie konfigurierbare Schaltungen, Networks in Chip (NoC) und KI-Algorithmen gearbeitet habe. Derzeit arbeite ich an der Entwicklung von komplexen Schwarmalgorithmen. Dabei handelt es sich um ein neues Systemparadigma, welches durch eine große Anzahl von heterogeneren Komponenten charakterisiert ist, die sich dynamisch in ihrer Struktur ändern können und dadurch neue Möglichkeiten für verschiedene Anwendungen bieten.

Mein Forschungsinteresse liegt in der Formalen Verifikation von Schaltkreisen. Ziel der Formalen Verifikation ist es (anders als bei simulationsbasierten Verfahren, deren Grenzen z.B. durch den Pentium Bug aufgezeigt wurden) die Korrektheit von Schaltkreisen zu beweisen.
Vor allem untersuche ich genauer, wie Hochspracheninformationen im Verifikationsprozess Gewinn bringend eingesetzt werden können. Dabei spielt die Systembeschreibungssprache SystemC eine wichtige Rolle.

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.

Mein Interessenschwerpunkt liegt im Entwurf und der Verifikation auf der ESL-Ebene auf Basis von virtuellen Prototypen. Die ESL-Methodik ermöglicht dem Entwickler eine effiziente und kosteneffektive Optimierung des Entwurfs im Vergleich zum klassischen RTL-Design. In meiner Forschung gehe ich aktuell der Frage nach, ob die Software das erwartete Verhalten (in Bezug auf Korrektheit und Effizienz) auf der Zielarchitektur zeigt

Mein Interessenschwerpunkt liegt in der Verifikation von Systemen auf hoher Abstraktionsebene. Zurzeit befasse ich mich insbesondere mit vollautomatischen formalen Methoden zur Eigenschaftsprüfung sowie Fehlersuche in SystemC (TLM) Modellen. Die inherente Nebenläufigkeit der Modelle, sowie die große Menge an möglichen Eingaben, erfordern spezielle Beweistechniken.

Der Fokus meiner Tätigkeit liegt auf der Entwicklung von Algorithmen zur Erzeugung hochwertiger Testmengen für digitale Schaltkreise. Ein wichtiger Aspekt ist hierbei die Integration und die gezielte Verwendung von strukturellen Informationen des untersuchten Schaltkreises in formalen Beweistechniken, die im Rahmen der Testgenerierung Anwendung finden.

Ich beschäftige mich mit deutscher und englischer Sprachverarbeitung (englisch: natural language processing, 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.

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.

Der Fokus meiner Arbeit liegt im Bereich "Low Power Design". Zunehmend werden Systeme als ein Kompromiss zwischen Funktionalität und Stromverbrauchsanforderungen entwickelt, so dass ein integrierter Entwurfsablauf erforderlich ist. Das Ziel ist es moderne Methoden zu nutzen, um die Entwicklung des integrierten Entwurfsablaufs für verschiedene Anwendungsszenarien zu unterstützen.

Ich verbinde mein Interesse für Algebra, Komplexitätstheorie, Kryptographie und Quantencomputing in dem Forschungsfeld Post-Quantum-Cryptography. Hier interessieren wir uns für konventionelle kryptographische Algorithmen die Angriffe mit Quantencomputern stand halten.

Im Kontext der Modellierung und der Verifikation beschäftige ich mich mit dem zeitlichen Verhalten von Systemen. Dabei liegt mein Fokus auf der formalen Verifikation von Echtzeit-Eigenschaften. Da für Fehler in eingebetteten Systemen häufig die Software verantwortlich ist, betrachte ich insbesondere auch das Echtzeitverhalten der Software über gegebenen Hardwaremodellen.

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.

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.

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 Kernpunkt meiner Arbeit ist die Testgenerierung im Entwurfsablauf von digitalen Schaltungen. Hier arbeite ich an Methoden sowohl zur vollständigen und kompakten Testerzeugung für den Produktionstest als auch zur Validierung des Entwurfsprozesses auf hohen Abstraktionsebenen. Insbesondere arbeite ich mit formalen Beweistechniken.

Ich arbeite im Gebiet der Lösung von Optimierungsproblemen mit Hilfe probabilisitscher Techniken wie z.B. Evolutionären Algorithmen (EAs). Im Besonderen versuche ich dabei diese Konzepte zur Lösung von Mehrzieloptimierungsproblemen anzuwenden, welche häufig im elektronischen Schaltkreisentuwrf vorkommen. Mein Ziel ist eine erschöpfende Integration dieser Techniken in heutige Entwurfsabläufe.

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.

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.

Meine Forschungsinteressen liegen im Bereich Design Understanding, Modellprüfung, Verifikation und Synthesis von Hardware-Software-Systemen.

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 bin Fachinformatikerin im Schwerpunkt Anwendungsentwicklung spezialisiert auf Digitale Medien. Ich beschäftige mich mit Web- sowie Printdesign und der Entwicklung von Internetseiten und Onlinetools. Darüber hinaus arbeite ich wissenschaftlich im Bereich Technische Dokumentation und assistiere Prof. Rolf Drechsler in seiner Funktion als Raum- und Kolloquiumsbeauftragten des Fachbereiches 3.