Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Arbeitsgruppe « Team



Leiter der Gruppe
Rolf Drechsler, Leitung

Die AG Rechnerarchitektur bietet Lehrveranstaltungen für Bachelor- und Master-Studierende in den Studiengängen Informatik und Systems Engineering an. In der Forschung werden der computergestützte Entwurf, die (formale) Verifikation und das Testen von Schaltungen und Systemen untersucht. Wissenschaftliche Publikationen der Arbeitsgruppen bei internationalen Konferenzen und in renommierten Fachzeitschriften sind unter den entsprechenden Rubriken auf der Homepage zu finden.



Sekretariat, Technik & Service
Regine Janssen, Sekretariat Birthe Semken, Sekretariat Uwe Forgber, Technik Timo Kohorst, Technik Lisa Jungmann, Service


Wissenschaftliches Personal
Zaid Saleem Ali Al Wardi, WiMi Arun Chandrasekharan, WiMi Harshad Dhotre, WiMi Stephan Eggersglüß, WiMi Tino Flenker, WiMi Mehran Goli, WiMi Cornelia Große, WiMi Daniel Große, WiMi Vladimir Herdt, WiMi Sebastian Huhn, WiMi Thomas Kemmerich, WiMi Oliver Keszöcze, WiMi Bernd Langpap, WiMi Hoang M. Le, WiMi David Lemma, WiMi Alireza Mahzoon, WiMi Rehab Massoud, WiMi Christina Plump, WiMi Mazyar Seraj, WiMi Saeideh Shirinzadeh, WiMi Jannis Stoppe, WiMi Abraham Temesgen Tibebu, WiMi Marcel Walter, WiMi Robert Wille, WiMi


Gast
Frank Sill Torres, Gast



Prof. Dr.  Rolf Drechsler
Telefon: +49 (421) 218 - 63932
Raum: MZH 4330
E-Mail: drechsler@uni-bremen.de
Twitter: @Rolf_Drechsler
Meine Publikationen

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.



Regine Janssen
Telefon: +49 (421) 218 - 63931
Raum: MZH 4370
E-Mail: rjanssen@informatik.uni-bremen.de

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.



Birthe Semken
Telefon: +49 (421) 218 - 63930
Raum: MZH 4370
E-Mail: semken@informatik.uni-bremen.de

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.



Dipl.-Ing. Uwe Forgber
Telefon: +49 (421) 218 - 63934
Raum: MZH 4340
E-Mail: forgber@informatik.uni-bremen.de

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.



Timo Kohorst, B.Sc.
Telefon: +49 (421) 218 - 64448
Raum: MZH 4204
E-Mail: kohorst@uni-bremen.de

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.



Zaid Saleem Ali Al Wardi, M.Sc.
Telefon: +49 (421) 218 - 63954
Raum: MZH 4196
E-Mail: alwardi@informatik.uni-bremen.de
Meine Publikationen

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.



Arun Chandrasekharan, M.Sc.
Telefon: +49 (421) 218 - 63939
Raum: MZH 4196
E-Mail: arun@informatik.uni-bremen.de
Meine Publikationen

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.



Harshad Dhotre, M.Sc.
Telefon: +49 (421) 218 - 64443
Raum: MZH 4220
E-Mail: dhotre@uni-bremen.de
Meine Publikationen

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.



Dr. Stephan Eggersglüß
Telefon: +49 (421) 218 - 63936
Raum: MZH 4280
E-Mail: segg@informatik.uni-bremen.de
Twitter: seggersgluess
Meine Publikationen

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.



Dipl.-Inf. Tino Flenker
Telefon: +49 (421) 218 - 59886
Raum: MZH 4208
E-Mail: flenker@informatik.uni-bremen.de
Meine Publikationen

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.



Mehran Goli, M.Sc.
Telefon: +49 (421) 218 - 63959
Raum: MZH 4202
E-Mail: mehran@informatik.uni-bremen.de
Meine Publikationen

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.



Dr. Cornelia Große, Dipl.-Psych.
Telefon: +49 (421) 218 - 64446
Raum: MZH 4206
E-Mail: cornelia.grosse@uni-bremen.de
Meine Publikationen

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.



Dr. Daniel Große
Telefon: +49 (421) 218 - 63935
Raum: MZH 4285
E-Mail: grosse@informatik.uni-bremen.de
Twitter: @Daniel_Grosse
Meine Publikationen

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.



Vladimir Herdt, M.Sc.
Telefon: +49 (421) 218 - 63938
Raum: MZH 4290
E-Mail: vherdt@informatik.uni-bremen.de
Meine Publikationen

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.



Sebastian Huhn, M.Sc.
Telefon: +49 (421) 218 - 63944
Raum: MZH 4250
E-Mail: huhn@informatik.uni-bremen.de
Meine Publikationen

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.



Prof. Dr. Thomas Kemmerich
Telefon: +49 (421) 218 - 63940
Raum: MZH 4224
E-Mail: kemmer@uni-bremen.de

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.



Dr. Oliver Keszöcze
Telefon: +49 (421) 218 - 64447
Raum: MZH 4300
E-Mail: keszocze@informatik.uni-bremen.de
Meine Publikationen

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.



Bernd Langpap
Telefon: 0421/178454157 (Alternativ)
E-Mail: bernd.langpap@dfki.de

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.



Dr. Hoang M. Le
Telefon: +49 (421) 218 - 63957
Raum: MZH 4290
E-Mail: hle@informatik.uni-bremen.de
Meine Publikationen

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.



Ing. David Lemma
Telefon: +49 (421) 218 - 63955
Raum: MZH 4208
E-Mail: lemma@informatik.uni-bremen.de
Meine Publikationen

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.



Alireza Mahzoon, M.Sc.
Telefon: +49 (421) 218 - 63953
Raum: MZH 4202
E-Mail: mahzoon@informatik.uni-bremen.de

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.



Rehab Massoud, M.Sc.
Telefon: +49 (421) 218 - 64441
Raum: MZH 4182
E-Mail: massoud@informatik.uni-bremen.de
Meine Publikationen

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.



Dipl. Inf., Dipl. Math. Christina Plump
Telefon: +49 (421) 218 - 63754
Raum: MZH 3550
E-Mail: cplump@informatik.uni-bremen.de

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.



Mazyar Seraj, M.oM.
Telefon: +49 (421) 218 - 63941
Raum: MZH 4196
E-Mail: seraj@informatik.uni-bremen.de
Meine Publikationen

Meine Forschungsarbeit fokussiert auf Web-basierte und mobile Lernumgebungen, speziell semantische m-basierte Lern-Anwendungen. Ich arbeite zur Zeit an der Unterstützung des Kompetenzerwerbs von Lernenden, die komplexe Kombinationen von logischen Schaltkreisen und Hardwarebeschreibungssprachen wie z.B. Verilog über semantische mobile Anwendung lernen wollen.



Saeideh Shirinzadeh, M.Sc.
Telefon: +49 (421) 218 - 63942
Raum: MZH 4260
E-Mail: saeideh@informatik.uni-bremen.de
Meine Publikationen

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.



Dr. Jannis Stoppe
Telefon: +49 (421) 218 - 63958
Raum: MZH 4182
E-Mail: jstoppe@informatik.uni-bremen.de
Meine Publikationen

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.



Abraham Temesgen Tibebu, M.Sc.
Telefon: +49 (421) 218 - 59884
Raum: MZH 4208
E-Mail: Abraham.Tibebu@uni-bremen.de

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



Marcel Walter, M.Sc.
Telefon: +49 (421) 218 - 64440
Raum: MZH 4260
E-Mail: m_walter@informatik.uni-bremen.de
Meine Publikationen

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



Dr. habil. Robert Wille
Telefon: +49 (421) 218 - 63947
Raum: MZH 4310
E-Mail: rwille@informatik.uni-bremen.de
Meine Publikationen

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.



Lisa Jungmann
Telefon: +49 (421) 218 - 63933
Raum: MZH 4315
E-Mail: jungmann@informatik.uni-bremen.de
Meine Publikationen

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.



Prof. Dr. Frank Sill Torres
Telefon: +49 (421) 218 - 63948
Raum: MZH 4226
E-Mail: frasillt@uni-bremen.de
Meine Publikationen

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.






English







Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt