Homepage Sitemap Contact


Home « Group « Team

Head of the Group
Rolf Drechsler, Head of the group Görschwin Fey, Head of the group Tim Güneysu, Head of the group

The Group of Computer Architecture, the Group of Reliable Embedded Systems and Group of Computer Engineering and IT-Security offer lectures in the area of computer aided design of circuits and systems for students on bachelor- and master-level. Beside the lectures for graduate and undergraduate students, we run student team projects to enforce research oriented learning. In research the groups are successful in Computer Aided Design (CAD) of circuits and systems covering synthesis, verification, test and reliability. 

Secretary, Technic & Service
Ingrid Bode, Secretary Regine Janssen, Secretary Martina Mörz, Secretary Birthe Semken, Secretary Uwe Forgber, Techics Lisa Jungmann, Service

Research Staff
Zaid Saleem Ali Al Wardi, Research Staff Arman Allahyari-Abhari, Research Staff Gökçe Aydos, Research Staff Florian Bache, Research Staff Arun Chandrasekharan, Research Staff Arighna Deb, Research Staff Stephan Eggersglüß, Research Staff Tino Flenker, Research Staff Mehran Goli, Research Staff Jonas Gomes Filho, Research Staff Daniel Große, Research Staff Cornelia Große, Research Staff Muhammad Hassan, Research Staff Vladimir Herdt, Research Staff Sebastian Huhn, Research Staff Oliver Keszöcze, Research Staff Hoang M. Le, Research Staff David Lemma, Research Staff Aaron Lye, Research Staff Rehab Massoud, Research Staff Philipp Niemann, Research Staff Nils Przigoda, Research Staff Amr Sayed Ahmed, Research Staff Kenneth Schmitz, Research Staff Saeideh Shirinzadeh, Research Staff Jannis Stoppe, Research Staff Niels Thole, Research Staff Abraham Temesgen Tibebu, Research Staff Robert Wille, Research Staff Aljoscha Windhorst, Research Staff

Prof. Dr.  Rolf Drechsler
Phone: +49 (421) 218 - 63932
Room: MZH 4330
Email: drechsler@uni-bremen.de
Twitter: @Rolf_Drechsler
My Publications

I am the head of the group of computer architecture. The main focus of the group is the development and application of CAD tools in circuit design. The research areas range from system descriptions in SystemC over test and verification down to synthesis.

Prof. Dr.-Ing. Görschwin Fey
Phone: +49 (421) 218 - 59880
Room: MZH 3370
Email: fey@informatik.uni-bremen.de
My Publications

Since March 2012 I am heading the Group of Reliable Embedded Systems under a cooperative professor ship associated to leading the Department of Avionics Systems at the Institute of Space Systems of the German Aerospace Center (DLR).

Prof. Dr.-Ing. Tim Güneysu
Phone: +49 (421) 218 - 63751
Room: MZH 3510
Email: gueneysu@informatik.uni-bremen.de
My Publications

Since October 2015 I'm the head of the Group on Computer Engineering and IT-Security (Embedded Security) that was established as part of the initiative of excellence to strengthen the cooperation between the University of Bremen and the German Research Center for Artificial Intelligence.

Ingrid Bode
Phone: +49 (421) 218 - 59850
Room: MZH 4222
Email: bode@informatik.uni-bremen.de

Team assistant in the Graduate School "System Design" and the Group of Computer Engineering and IT-Security (Embedded Security)

Regine Janssen
Phone: +49 (421) 218 - 63931
Room: MZH 4370
Email: rjanssen@informatik.uni-bremen.de

Together with Birthe Semken I work as team assistant in the Group for Computer Architecture. I am responsible for all issues concerning the administration of the group. In particular, I administrate the projects funded by third parties.

Martina Mörz
Phone: +49 (421) 218 - 59881
Room: MZH 3360
Email: mmoerz@informatik.uni-bremen.de

I am the secretary of the Group of Reliable Embedded Systems.

Birthe Semken
Phone: +49 (421) 218 - 63930
Room: MZH 4370
Email: semken@informatik.uni-bremen.de

Together with Regine Janssen I work as team assistant in the Group for Computer Architecture. I am responsible for all issues concerning the administration of the group. In particular, I plan and process the official journeys of the group members.

Dipl.-Ing. Uwe Forgber
Phone: +49 (421) 218 - 63934
Room: MZH 4340
Email: forgber@informatik.uni-bremen.de

I'm the technical assistent of the group of computer architecture. I'm responsible for all computers at our group and consulting our members and students.

Zaid Saleem Ali Al Wardi, M.Sc.
Phone: +49 (421) 218 - 63954
Room: MZH 4196
Email: alwardi@informatik.uni-bremen.de
My Publications

I had my BSc. and MSc. Degree from the university of Baghdad before I work as a university instructor in my home country. Now, I'm a scholarship holder to get the PhD. degree, and my research is focused on employing Hardware Description Languages for Reversible Logic Circuit Synthesis.

Dipl.-Inf. Arman Allahyari-Abhari
Phone: +49 (421) 218 - 63946
Room: MZH 4196
Email: abhari@informatik.uni-bremen.de
My Publications

My task in the workgroup is to explore new techniques for formalizing the natural language and combine the outcome with existing approaches. Furthermore I am interested in exact methods for verifying and testing conventional circuits as well as synthesis for quantum circuits.

Dipl.-Ing. Gökçe Aydos
Phone: +49 (421) 218 - 59885
Room: MZH 3400
Email: goekce@informatik.uni-bremen.de
My Publications

Reliability is great concern in space-systems due to the lack of physical access, high costs of a space-launch and ionizing radiation from the sun. Especially the latter leads to transient and permanent changes on digital circuits which eventually leads to unwanted behavior.
My research interests lie in fault-tolerance techniques for digital systems at gate- as well as system-level by using hardware-software interaction.

Dipl.-Ing. Florian Bache
Phone: +49 (421) 218 - 63752
Room: MZH 3530
Email: bache@informatik.uni-bremen.de

I work on different topics in the field of embedded security. In particular, I am investigating technologies that protect security-critical hardware against passive and active attacks.

Arun Chandrasekharan, M.Sc.
Phone: +49 (421) 218 - 63939
Room: MZH 4196
Email: arun@informatik.uni-bremen.de
My Publications

My focus of research is highly reliable embedded systems, from both hardware and software viewpoints. In particular I look into the architectural aspects of embedded processors and how reliability can be incorporated into hardware-software co-design. Besides I am also interested in high level synthesis.

Arighna Deb, M.Sc.
Phone: +49 (421) 218 - 63940
Room: MZH 4196
Email: deb@informatik.uni-bremen.de
My Publications

I am working in the area of reversible logic. In particular, my research work focuses on developing approaches for synthesis and optimization. Besides that, I am interested in testing of reversible circuits.

Dr. Stephan Eggersglüß
Phone: +49 (421) 218 - 63936
Room: MZH 4280
Email: segg@informatik.uni-bremen.de
Twitter: seggersgluess
My Publications

My field of activity is the Satisfiability-Problem (SAT). One main focus of my research interests is the efficient solving of SAT-instances. The other main focus is located in the field of 'Test of digital circuits'. In this field I analyse the generation of test pattern for dynamic fault models on basis of the Satisfiability-Problem.

Dipl.-Inf. Tino Flenker
Phone: +49 (421) 218 - 59886
Room: MZH 3390
Email: flenker@informatik.uni-bremen.de
My Publications

My research focus is on "Design Understanding". I am studying how to support developers in understanding an unknown or new design. The goal is to simplify training of new team members or debugging of the design. Formal methods known from property checking will be used for automation.

Mehran Goli, M.Sc.
Phone: +49 (421) 218 - 63959
Room: MZH 4202
Email: mehran@informatik.uni-bremen.de

My research interest is system level design and verification. Currently I am working on systemC designs visualization for understanding of a given system.The problem is that the extraction of data from system designs written in SystemC is thereby crucial. In order to address this, information of a given system which are static and dynamic information is being retrieved by controlling and monitoring the executing of the elaboration phase of the model.

Dr. Jonas Gomes Filho
Phone: +49 (421) 218 - 64444
Room: MZH 4220
Email: gomes.filho@informatik.uni-bremen.de

I received my Master and PhD degrees from the University of Sao Paulo in Brazil, where I have worked on reconfigurable computing, networks-on-chip (NoC), and AI algorithms. Currently, I am working on the development of complex swarm systems, a new system paradigm which is characterized by a large number of heterogeneous components that dynamically change their structure and, by this, open new possibilities for the development of many novel applications.

Dr. Daniel Große
Phone: +49 (421) 218 - 63935
Room: MZH 4285
Email: grosse@informatik.uni-bremen.de
Twitter: @Daniel_Grosse
My Publications

My research interest is formal verification of circuits. The goal of formal verification is to prove the correctness of circuits (in contrast to simulation based approaches whose limitations were highlighted e.g. by the Pentium Bug).
Especially, I examine how information of high-level descriptions can be used effectively in the formal verification process. Thereby the system description language SystemC plays an important role.

Dr. Cornelia Große, Dipl.-Psych.
Phone: +49 (421) 218 - 64446
Room: MZH 4206
Email: cornelia.grosse@uni-bremen.de
My Publications

I work in the domain of Educational Psychology and investigate topics of learning and instruction. My present work focuses on supporting learners to solve mathematical problems which are presented within a real context. For this purpose, methods are developed and their effectiveness is tested experimentally. Various methods are considered, ranging from fostering reading competencies to discussing common errors.

Muhammad Hassan, M.Sc.
Phone: +49 (421) 218 - 63937
Room: MZH 4202
Email: hassan@informatik.uni-bremen.de

My research focus is on ESL design, verification and (virtual) prototyping. The methodology enables the designer to efficiently, and cost-effectively optimize the design in comparison to RTL methodology. The main question I am trying to answer is if the software performs as expected (in terms of correctness and efficiency) on the target architecture, and if the architecture is capable to give the advertised functionality

Vladimir Herdt, M.Sc.
Phone: +49 (421) 218 - 63938
Room: MZH 4290
Email: vherdt@informatik.uni-bremen.de
My Publications

I am interested in the verification of systems on high levels of abstraction. My current research focus is on fully automatic formal methods for property checking as well as bug hunting in SystemC (TLM) models. The inherent concurrency of the models in combination with the large input space, requires sophisticated proof techniques.

Sebastian Huhn, M.Sc.
Phone: +49 (421) 218 - 63944
Room: MZH 4250
Email: huhn@informatik.uni-bremen.de
My Publications

My activity is focused on the development of algorithms for high-quality test set generation for digital circuits. An important aspect of my work lies in the integration and profitable use of structural knowledge about the design under test within formal proof techniques, which are applied by the test computation process.

Dipl.-Math.techn. Oliver Keszöcze
Phone: +49 (421) 218 - 64447
Room: MZH 4300
Email: keszocze@informatik.uni-bremen.de
My Publications

I work on natural language processing (NLP) of german and english texts to create formal descriptions of systems. I use these descriptions to perform formally verify the system. Furthermore I work on reversible logic and biochips.

Dr. Hoang M. Le
Phone: +49 (421) 218 - 63957
Room: MZH 4290
Email: hle@informatik.uni-bremen.de
My Publications

My research area is the formal verification of systems at high levels of abstraction. Currently the focus is the development of an automated formal verification flow for SystemC TLM designs integrating property checking, debugging, and coverage analysis.

Ing. David Lemma
Room: MZH 4208

Aaron Lye, M.Sc.
Phone: +49 (421) 218 - 63753
Room: MZH 3530
Email: lye@informatik.uni-bremen.de

Rehab Massoud, M.Sc.
Phone: +49 (421) 218 - 64441
Room: MZH 4224
Email: massoud@informatik.uni-bremen.de

I am interested in systems temporal behaviour modeling and verification. The problem I am currently addressing is to formally verify that a system fulfills its Real-Time specifications. As software nowadays is held responsible for the most critical bugs in embedded systems, I am investigating how to prove meeting certain software Real-Time specifications, given hardware models and Real-Time environment simulators.

Dipl.-Math. Philipp Niemann
Phone: +49 (421) 218 - 64445
Room: MZH 4300
Email: pniemann@informatik.uni-bremen.de
My Publications

I am working on quantum circuits and reversible logic. My investigations focus on data structures that allow for the representation of larger functions in an efficient way and, at the same time, can be used for the synthesis of corresponding circuits.

Dipl.-Math. Dipl.-Inf. Nils Przigoda
Phone: +49 (421) 218 - 63949
Room: MZH 4226
Email: przigoda@informatik.uni-bremen.de
My Publications

The main focus of my research activities is the formal verification of models such as UML. Furthermore, I am working on reversible logic and quantum computing.

Amr Sayed Ahmed, M.Sc.
Phone: +49 (421) 218 - 63956
Room: MZH 4208
Email: asahmed@informatik.uni-bremen.de
My Publications

My research focus is on the formal verification of arithmetic floating-point designs. In particular, I am developing appropriate formal verification techniques for decimal floating-point designs. As decimal floating-point is a quite recent addition to the IEEE Standard for Floating-Point Arithmetic (IEEE Std754-2008), new verification technologies are needed to verify the compliance of hardware designs with the standard.

Dipl.-Inf. Kenneth Schmitz
Phone: +49 (421) 218 - 63943
Room: MZH 4250
Email: kenneth@informatik.uni-bremen.de
Twitter: @schmitz_kenneth
My Publications

The main field of my work is test generation in the design flow of digital circuits and systems. Here I am working on methods for both full and compact test generation for production test as well as for the validation of the design process at high levels of abstraction. In particular, I am working with formal proof techniques.

Saeideh Shirinzadeh, M.Sc.
Phone: +49 (421) 218 - 63942
Room: MZH 4260
Email: saeideh@informatik.uni-bremen.de
My Publications

I am working in the area of solving optimization problems using probabilistic techniques such as evolutionary algorithms (EAs). In particular, I am aiming for applying these concepts in order to solve multi-objective optimization (MOO) problems which frequently occur in electronic design automation. My vision is to integrate them in existing design flows in a more comprehensive fashion.

Jannis Stoppe, M.Sc.
Phone: +49 (421) 218 - 63958
Room: MZH 4182
Email: jstoppe@informatik.uni-bremen.de
My Publications

The main focus of my research activities is the analysis of description languages for hardware/software design. Major questions are how such hybrid systems can be visualized and what technical prerequisites need to be satisfied for this purpose.

Niels Thole, M.Sc.
Phone: +49 (421) 218 - 59883
Room: MZH 3390
Email: nthole@informatik.uni-bremen.de
My Publications

In the context of the graduate school „System Design“ I'm researching simulation and formal verification of failure tolerant systems. Due to single transistors becoming smaller and requiring less voltage with each passing generation, it becomes more probable that a signal changes by outer influence like cosmic rays. For this reason, failure tolerance takes an important role in the design of new systems. Failure tolerance is meant to ensure that such a fault in a signal does not lead to an error that's visible for the user. In this context I specifically examine the processor Leon3.

Abraham Temesgen Tibebu, M.Sc.
Phone: +49 (421) 218 - 59884
Room: MZH 3400
Email: Abraham.Tibebu@uni-bremen.de

My research interests are design understanding, model checking, verification and synthesis of hardware-software systems.

Dr. habil. Robert Wille
Phone: +49 (421) 218 - 63947
Room: MZH 4310
Email: rwille@informatik.uni-bremen.de
My Publications

My main research focus is on reversible logic which shows promising applications e.g. in the area of low-power design and quantum computation. However, till today no design flow for reversible logic exists - this must be changed. In particular, approaches for synthesis, verification, and debugging need improvements. Besides that, I am trying to improve the existing SAT- and SMT-solvers and their application in formal hardware verification.

Dipl.-Inf. Aljoscha Windhorst
Phone: +49 (421) 218 - 63953
Room: MZH 4290
Email: windhorst@uni-bremen.de
My Publications

I am interested in design processes for safety critical hardware/software systems. My work is currently focused on the development of coverage measures and verification processes for the transition from ESL to RTL.

Lisa Jungmann
Phone: +49 (421) 218 - 63933
Room: MZH 4315
Email: jungmann@informatik.uni-bremen.de
My Publications

I am Fachinformatikerin in the emphasis application development specialized in Multimedia. I concern myself with web- and printdesign and the development from websites and onlinetools.

Add to Favorites

Sitemap Kontakt