Seit dem 1. Oktober begrüßen wir einen neuen Professor im Dienst der Universität Bremen, der als Brückenprofessor zum DFKI im Rahmen der Exzellenzinitiative tätig ist. Mit seiner Arbeitsgruppe für Technische Informatik verstärkt Tim Güneysu mit dem Schwerpunkt für IT-Sicherheit das Profil der AGRA um einen weiteren Baustein. Tim Güneysu war zuletzt an der Fakultät für Elektrotechnik und Informationstechnik an der Ruhr-Universität Bochum (RUB) tätig, wo er als Juniorprofessor die Arbeitsgruppe für Sichere Hardware leitete. Seine Forschungsschwerpunkte liegen im Bereich der Sicherheit eingebetteter Systeme (Embedded Security); hier forscht er unter anderem an langzeitsicheren, kryptographischen Lösungen in Software und Hardware, beispielsweise für Chipkarten, RFIDs, FPGAs und ASICs. Am 26.01.2016 hat Prof. Güneysu in seiner Antrittsvorlesung zum Thema "Moderne langzeitsichere Kryptographie für das Zeitalter der Quantencomputer" einen tieferen Einblick in sein Forschungsgebiet gegeben.

Im Rahmen der Graduiertenkolleg System Design (SyDe) hat Judith Peters sich mit der Spezifikation und Verifikation des Timing-Verhaltens von komplexen Systemen beschäftigt. Sie hat dabei zwei Methoden entwickelt, mit denen sich verschiedene Taktgeber (so genannte "Clocks") eines Systems auf ihre Korrektheit prüfen lassen. Während ein Ansatz mittels einer Heuristik sehr schnell erste Ergebnisse liefern kann, benötigt der zweite Ansatz deutlich mehr Zeit, ist dafür aber bei den Ergebnissen optimal. Ihre Arbeiten wurden unter anderem auf der renommierten Design Automation Conference im PhD-Forum sowie im Rahmen eines regulären Vortrags vorgestellt. Mit diesen Resultaten hat Judith Peters Ihre Promotion innerhalb von nur drei Jahren im Alter von noch 25 Jahren (als bisher jüngste Doktorandin der Arbeitsgruppe) abschließen können. Wir gratulieren!

Die Addition zählt zweifelsohne zu den grundlegenden Operationen, die ein Rechner/Computer durchführen muss. Der Rechner/Computer selbst besteht aber aus elektronischen Schaltungen, die nur mit "Strom an" und "Strom aus" arbeiten. Wie damit trotzdem Rechnungen wie "1+1" durchgeführt werden können, erklärt Robert Wille in einem Video, das nun auf YouTube verfügbar ist. Das Video ist dabei Teil einer Initiative, Themen der Technischen Informatik einem breiterem Publikum und insbesondere Kindern und Jugendlichen näher zu bringen. Die Initiative wird dabei von der Sparkasse Bremen im Rahmen des Programms "Bremen macht Helden" und der Stiftung der Universität Bremen gefördert.

Dr. Nabila Abdessaied hat ihre Dissertation "Reversible and Quantum Circuits | Optimization and Complexity Analysis" erfolgreich verteidigt. Sie untersuchte, wie sich reversible Schaltkreise und Quanten-Schaltkreise unter Berücksichtigung unterschiedlicher Kostenmaße optimieren lassen. Hierzu entwickelte sie einerseits konkrete Lösungsansätze. Andererseits konnte sie theoretische Ergebnisse beisteuern, die eine allgemeine Abschätzung der Kosten ermöglichen. Die betrachteten Schaltkreise spielen eine zentrale Rolle auf dem Weg zum Quantencomputer und stellen somit ein äußerst relevantes und aktuelles Forschungsgebiet dar. Ihre Arbeiten veröffentliche Frau Dr. Abdessaied international auf renommierten Konferenzen und in Journalen. Außerdem wurde ein Buch mit dem Titel "Reversible and Quantum Circuits | Optimization and Complexity Analysis" beim Springer Verlag veröffentlicht. Wir gratulieren!

Dr. Melanie Diepenbeck gehörte als Nachwuchswissenschaftlerin dem Graduiertenkolleg System Design (SyDe) an, das im Rahmen der Exzellenz-Initiative gefördert wird. Sie absolvierte als Dritte das Programm mit erfolgreichem Abschluss. Im Rahmen ihrer Dissertation untersuchte Frau Diepenbeck, ob es möglich ist, Verfahren der agilen Entwurfsmethoden, die man von der Software-Entwicklung kennt und die dort in den vergangenen Jahren erfolgreich eingesetzt wurden, auf den Bereich der Hardware zu übertragen. Sie setzte dabei auf den verhaltensbasierten Entwurf (engl. Behaviour Driven Development, kurz BDD) auf und entwickelte die Verfahren so weiter, dass diese die Spezifika von Hardware unterstützen. Darüber hinaus ist es mit der von ihr entwickelten Methodik möglich Akzeptanztests und formale Eigenschaften in natürlicher Sprache zu formulieren, Eigenschaften zu generieren und Testfälle automatisch zu generalisieren. Wir gratulieren!

Im Rahmen einer Wissenschaftsmatinee werden regelmäßig im Bremer Haus der Wissenschaft spannende und aktuelle Themen aus der Wissenschaft einem breitem Publikum vorgestellt. Ziel ist es dabei, in dreißig Minuten Begeisterung für ein Thema zu wecken und zu zeigen, welche Themen Forscherinnen und Forscher auf der ganzen Welt bewegt. Im Herbst letzten Jahres haben sowohl Rolf Drechsler als auch Robert Wille hier ein ausgewähltes Thema präsentiert. Kurzusammenfassungen beider Vorträge sind mittlerweile auch im Bremer Weser Kurier erschienen.

Mehr Infos: Vortrag Robert Wille | Vortrag Rolf Drechsler

Während des Mathematikstudiums hat sich Nils Przigoda nicht nur in der Fachschaft (StugA) der Mathematik für die Belange der Mathematikstudierenden an der Universität Bremen eingesetzt, sondern auch durch regelmäßige Teilnahmen an der Konferenz der deutschsprachigen Mathematikfachschaften (KoMa) für die der Mathematikstudierenden an allen deutschsprachigen Universitäten. In Zusammenarbeit mit den Mitstudierenden Jan-Philipp Litza und Tim Haga aus Bremen sowie weiteren Studierenden aus Deutschland entstand dabei auch eine neue Version des sogenannten KoMa-Kartenspiels: Romméblatt mit mathematischen Motiven.
Hierfür sind die Ersteller des Kartenspiels im November 2015 mit dem Preis "Mathemacher des Monats" von der Deutsche Mathematiker-Vereinigung (DMV) ausgezeichnet worden.

Mehr Infos: DMV Mathematik | Pressemitteilung Uni Bremen | Pressemitteilung AGRA