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.

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.

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.

Im Rahmen des Sonderforschungsbereiches SFB1232 arbeite ich an der Spezifikation eines Datenaustauschformats für die dort generierten experimentellen Daten. Auf dieser Grundlage entwickle ich Einlese- und Verarbeitungsroutinen sowie eine entsprechende Datenbankstruktur und entwerfe ein Webinterface für den Datenaustausch.

Mein Forschungsgebiet ist Low Power Design For Test (DFT) für integrierte Schaltungen. Die Identifikation von riskanten und anfälligen Testmustern ist ein wichtiger Bestandteil eines zuverlässigen Produktionstests. Daher konzentriert sich meine Arbeit auf die Entwicklung einer Methodik zur Testmusteranalyse in diesem Gebiet.

Mein Forschungsinteresse ist die Analyse und Validierung von System-Level-Designs. Insbesondere die Extraktion von Daten aus SystemC-Modellen ist ein zentrales Thema meiner Arbeit. Schwerpunkt dieser Aktivitäten ist es, sowohl die Struktur als auch das Verhalten eines gegebenen SystemC-Designs ohne Beschränkung der Sprachmittel und / oder Veränderung der bestehenden Quellen zu extrahieren.

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

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 den Themen Informations- und Netzsicherheit. Mein Forschungsschwerpunkt liegt dabei auf dem Gebiet ‚Adaptive Network-Security- Services in virtualisierten Netzen’. Daneben befasse ich mich mit digitaler Computer Forensik mit dem Schwerpunkt ‚Digital Forensic Readyness’. Ich habe eine Professur für Network Security an der Naturwissenschaftlich Technischen Universität Norwegens, NTNU.

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.

Mein Forschungsinteresse konzentriert sich auf den Themenbereich der Verteilung von Softwarekomponentennetzwerken auf Hardwarenetzwerke und dessen Optimierung auf Grundlage von nicht funktionalen Requirements. Dazu gehören auch die die Untersuchungen der Grundlagen, z.B. das Profiling von existierenden S/W-Komponenten auf verschiedenen Hardwarearchitekturen oder eine Betrachtung der semantischen Bedeutung einzelner Softwarekomponenten.

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.

Mein Forschungsgebiet ist die formale Verifikation und das Debugging von arithmetischen Schaltkreisen auf Gatterebene wobei insbesondere große und komplexe Schaltkreise zur Multiplikation und Division betrachtet werden. Diese Schaltungen spielen in verschiedenen Anwendungen eine wichtige Rolle und sie bestehen meist aus Millionen von Gattern. Im Rahmen meiner Forschung sollen Methoden auf Basis der Computer Algebra zum Einsatz kommen.

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

Im Rahmen des Sonderforschungsbereiches EASE beschäftige ich mich mit der formalen Verifikation und Verbesserung von Plänen für autonome Roboter. Außerdem liegen meine Interessen in den Gebieten des automatischen Schlussfolgerns und der Optimierung.

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.

Die Verifikation von kryptographischen Sicherheitseigenschaften bildet das Hauptgebiet meiner Forschung. Hierbei verbinde ich meine Interesse für Kryptologie, Algebra, Zahlentheorie, Logiken und Beweistechniken, um für die Praxis relevante und gleichzeitig ganzheitliche Beweise für Sicherheitseigenschaften zu finden.

Meine Forschungsarbeit fokussiert auf Web-basierte und mobile Lernumgebungen, speziell semantische Lern-Anwendungen. Ich arbeite zur Zeit an der Unterstützung des Kompetenzerwerbs von Lernenden, die Programmiersprachen über semantische Web und mobile Anwendung lernen wollen.

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.

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

Ich beschäftige mich mit Algorithmenentwicklung für Synthese und Optimierung klassischer und zukünftiger Computerparadigmen. Dabei verwende ich sowohl heuristische als auch exakte Verfahren. Neben CMOS habe ich Erfahrungen im Bereich der Reversiblen Logik, der Quanten-, DNA- und Optischen Computer, der Digital Microfluidic Biochips (DMFB) sowie der Quantum-dot Cellular Automata (QCA).

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.

Ich bin Professor der UFMG (Brasilien) und beschäftige mich mit reversiblen Schaltungen in der Nanotechnologie Quantum-dot Cellular Automata (QCA), mit Lösungen zur Reduzierung des Leistungsverbrauchs integrierter Schaltungen sowie mit schichtübergreifenden Strategien für den Entwurf zuverlässiger Systeme.