Dr. Ngouo´goum Tague Laura Sandrine hat ihre Promotion "Using Decision Diagrams in the Design of Reversible Circuit" erfolgreich verteidigt. Sie untersuchte in ihrer Arbeit Methoden zur effizienten Implementierung reversibler Funktionen. Dabei betrachtete sie neben der Synthese auch Verfahren zur Einbettung nicht-reversibler Funktionen, sowie das Debugging und den Äquivalenzvergleich. Dadurch können Schaltungen nicht nur automatisch erzeugt, sondern auch gleich auf ihr korrektes funktionales Verhalten hin überprüft werden.
Wir gratulieren sehr herzlich!

Dr. Jannis Stoppe hat seine Promotion "Non-Intrusive Analysis of Electronic System Level Designs in SystemC" erfolgreich verteidigt. In der Arbeit werden Analysemethoden für die Systementwurfssprache SystemC entworfen und vorgestellt. Zentraler Fokus der verschiedenen Techniken ist es, nichtinvasive Ansätze zu finden, die die Entwickler in der Wahl ihrer Tools und Abläufe nicht einschränken, sondern sich transparent in bestehende Strukturen einbinden lassen. Erstmalig lassen sich so plattformübergreifend komplexe SystemC-Entwürfe detailliert analysieren.
Herzlichen Glückwunsch und weiterhin viel Erfolg!

In seiner Dissertation "Highly Automated Formal Verification of Arithmetic Circuits" erarbeitete Dr. Amr Sayed-Ahmed eine vollautomatische Methode für die formale Verifikation von arithmetischen Schaltkreisen. Dabei fokussierte er sich insbesondere auf Multipliziererschaltkreise für Ganze Zahlen und Gleitkommazahlen. Die neu entwickelten Verfahren basieren auf Methoden der Computer Algebra. Dabei werden Polynomdarstellungen zur Repräsentation der Logikgatter eingesetzt und die Korrektheit eines Schaltkreises kann auf das Lösen des Idealzugehörigkeitstests reduziert werden. Die zentralen Ergebnisse seiner Doktorarbeit sind einerseits das Einbringen lokaler Logikoptimierungen in die algebraischen Methoden und andererseits ein algebraisches Verfahren zum Nachweis der Äquivalenz zweier Schaltungen. Im Gegensatz zu existierenden Verfahren ist es somit erstmals möglich, die Korrektheit großer Multiplizierer vollautomatisch zu beweisen.
Wir gratulieren sehr herzlich zur erfolgreichen Verteidigung!

Dr. Philipp Niemann beschäftigte sich mit dem Entwurf von Quantenschaltungen. Um hierbei immer komplexere Funktionalität realisieren zu können, ist ein hoher Grad an Automatisierung essentiell. Wegen grundlegend verschiedener Berechnungsparadigmen können entsprechende Ansätze für konventionelle Schaltungen jedoch nicht einfach auf Quantenschaltungen übertragen werden, sondern müssen komplett neu entwickelt werden.
Hierzu untersuchte Dr. Philipp Niemann in seiner Arbeit zunächst, wie sich die gewünschte Quanten-Funktionalität kompakt darstellen lässt. Auf dieser Grundlage entwickelte er anschließend effiziente Verfahren zur Synthese großer Quantenschaltungen. Seine Arbeiten veröffentlichte er auf renommierten internationalen Konferenzen und in Journalen. Die Arbeit wurde von Prof. Dr. Robert Wille betreut.
Herzlichen Glückwunsch und weiterhin viel Erfolg!

Unser neues Springer-Buch mit dem Titel "Computer - Wie funktionieren Smartphone, Tablet & Co.?" richtet sich an die breite Öffentlichkeit. Rolf Drechsler, Andrea Fink und Jannis Stoppe erklären in einer einfachen und anschaulichen Art und Weise, wie moderne Rechner funktionieren und wie diese hochkomplexen Systeme entworfen werden. Das Buch ist informativ, verständlich und zugleich auch sehr unterhaltsam geschrieben sowie mit vielen Comics bebildert. Links verweisen auf Videos, in denen Rolf Drechsler relevante Themen prägnant und pointiert vorstellt.
Mehr Informationen gibt es beim Springer-Verlag.

Als Anerkennung seiner Leistungen als General Chair beim 25. "International Workshop on Logic and Synthesis" (IWLS) am 10. und 11. Juni 2016 in Austin, Texas, zeichnete die Association for Computing Machinery (ACM) Prof. Rolf Drechsler nun mit dem ACM Recognition of Service Award aus. Der IWLS ist ein Expertenforum für Forschung auf dem Gebiet der Synthese, Optimierung und Überprüfung von integrierten Schaltungen und Systemen.
Mit dem ACM Recognition of Service Award würdigt die Association for Computing Machinery (ACM) exzellente technische und fachliche Leistungen und Beiträge in der Informatik und der Informationstechnologie. Die ACM wurde 1947 als erste wissenschaftliche Gesellschaft für Informatik gegründet.

Für seine herausragende Dissertation mit dem Titel "Automated Techniques for Functional Verification at the Electronic System Level" zeichnete die Gesellschaft der Freunde der Universität Bremen und der Jacobs University Bremen "unifreunde" Dr. Hoang Le im Rahmen des Bremer Studienpreises 2016 aus. Erstmalig ist es Hoang Le gelungen, formale Methoden für die Verifikation auf höheren Abstraktionsebenen anzuwenden. Die Arbeit wurde mit Bestnote bewertet. Wir gratulieren sehr herzlich zu diesem Erfolg!

Die Arbeitswelt wird zunehmend von Computern geprägt; fast überall ist die Digitalisierung auf dem Vormarsch. Es ist unter Experten umstritten, ob dies in der Wirtschaft zu einem Abbau von Beschäftigung oder zu neuen Jobs führen wird. In der "Sendung aus der Straßenbahn" sprachen am 25. Oktober 2016 Prof. Rolf Drechsler, Frank Dreeke (Vorstandsvorsitzender der BLG Logistics Group) und Elke Heyduck (Geschäftsführerin der Arbeitnehmerkammer Bremen). Für alle, die bei dieser Straßenbahnfahrt nicht dabei sein konnten, zeigte RB TV am 29. Oktober 2016 eine Aufzeichnung in "buten un binnen-Extra" im Vorfeld der ARD-Themenwoche "Zukunft der Arbeit". Weitere Informationen gibt es bei Radio Bremen.