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.

Ich beschäftige mich mit HDL-basierter Synthese von neuartigen In-Memory Computerarchitekturen, bei denen Datenverarbeitung in persistenten Speicherelementen stattfindet. Dabei konzentriere ich mich auf effiziente Synthese auf hoher Abstraktionsebene und formale Verifikation der resultierenden Implementierung.

Ich befasse mich mit Approximate Computing und Künstlicher Intelligenz (KI). Insbesondere versuche ich Verfahren zu entwickeln, um Techniken aus dem Bereich Approximate Computing so in KI Algorithmen zu integrieren, dass möglichst viel nutzen aus der Anwendung von Approximate Computing gezogen werden kann. Gleichzeitig muss sichergestellt sein, dass die Funktionsfähigkeit der KI gewährleistet ist.

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.

Mein Interessenschwerpunkt liegt in der Kombination von IT-Sicherheit und künstlicher Intelligenz. Dabei interessiert mich besonders, wie sich Methoden der KI bei der Absicherung von IT-Systemen einsetzen lassen, indem sie helfen diese Systeme zu analysieren und Bedrohungen, Risiken oder Angriffe zu identifizieren. Weiter müssen auf Basis dieses Wissens Schutzziele und geeignete Sicherheitsmaßnahmen ermittelt werden.

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.

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 Informatikausbildung, speziell Interaktive Bildungssysteme. Ich arbeite zur Zeit an der Unterstützung des Kompetenzerwerbs von Lernenden, die Programmiersprachen über visuelle Programmierumgebungen lernen wollen.

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 beschäftige mich mit Algorithmenentwicklung für Synthese, Optimierung und Layout 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) und Nanomagnetlogik (NML).

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.