Homepage Sitemap Contact

Home « Group « Team

Head of the Group
Rolf Drechsler, Head of the group

The Group of Computer Architecture 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
Regine Janssen, Secretary Birthe Semken, Secretary Uwe Forgber, Techics Lisa Jungmann, Service Lennart Weingarten, Service

Research Staff
Sallar Ahmadi-Pour, Research Staff Mohammed Barhoush, Research Staff Christina  Cociancig, Research Staff Salva Daneshgadeh Cakmakci, Research Staff Saman Fröhlich, Research Staff Mehran Goli, Research Staff Daniel Große, Research Staff Payam Habiby, Research Staff Vladimir Herdt, Research Staff Sebastian Huhn, Research Staff Sana Hassan Imam, Research Staff Thomas Kemmerich, Research Staff Hoang M. Le, Research Staff Alireza Mahzoon, Research Staff Rehab Massoud, Research Staff Christopher Metz, Research Staff Tim Meywerk, Research Staff Philipp Niemann, Research Staff Sajjad Parvin, Research Staff Christina Plump, Research Staff Khushboo Qayyum, Research Staff Lena Steinmann, Research Staff Jannis Stoppe, Research Staff Sören Tempel, Research Staff Marcel Walter, Research Staff Robert Wille, Research Staff Lena Wollschläger, 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. For further information see www.rolfdrechsler.de

Regine Janssen
Phone: +49 (421) 218 - 63931
Room: MZH 4370
Email: rjanssen@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.

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.

Sallar Ahmadi-Pour, M.Sc.
Phone: +49 (421) 218 - 63946
Room: MZH 4290
Email: sallar@uni-bremen.de
My Publications

Within the Scale4Edge research project I am currently working on methods for verification and validation of embedded systems across layers of abstraction. A central aspect is the open standard instruction set architecture RISC-V which provides the interface between software and hardware.

Mohammed Barhoush, M.Sc.
Room: MZH 4194

Christina  Cociancig, M.Sc.
Phone: +49 (421) 218 - 64447
Room: MZH 4184
Email: chrcoc@uni-bremen.de

The focus of my research lies in the field of natural language processing (NLP). Therefore, artificial intelligence, computational linguistics and machine learning are important aspects of my work. The goal is to fill as many gaps in linguistic research with intelligent systems that can be applied in everyday life.

Dr. Salva Daneshgadeh Cakmakci
Phone: +49 (421) 218 - 63939
Room: MZH 8070
Email: salva@uni-bremen.de

My research interests include network security and data science. My investigations focus on the applications of machine learning to network traffic data to build models for identifying cyberattacks and abnormal behaviors. Currently, I am working on correlating different security solutions like Security Information and Event Management (SIEM), Cyber Threat Intelligence (CTI), and cybersecurity data analytics to the Security Operations Centers (SOC).

Saman Fröhlich, M.Sc.
Phone: +49 (421) 218 - 59835
Room: MZH 4300
Email: froehlich@uni-bremen.de
My Publications

I am concerned with Approximate Computing and Artificial Intelligence (AI). In particular, I am trying to develop methods to incorporate Approximate Computing techniques into AI algorithms such that the benefit from the use of Approximate Computing is maximized. At the same time, it must be ensured that the functionality of the AI is guaranteed.

Dr. Mehran Goli
Phone: +49 (421) 218 - 63959
Room: MZH 4202
Email: mehran@informatik.uni-bremen.de
My Publications

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 crucial. It brings this challenge that how can both, the structure and the behavior of a given SystemC design be retrieved without restricting the language means and/or modifying the existing infrastructures?

Dr. Daniel Große
Phone: +49 (421) 218 - 63935
Room: MZH 4310
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.

Payam Habiby, M.Sc.
Phone: +49 (421) 218 - 63950
Room: MZH 4208
Email: habiby@uni-bremen.de
My Publications

My research mainly aims to the development of solutions to enhance the testability of integrated circuits and to improve the quality of the manufacturing test. In this regard, I am modeling state-of-the-art test access mechanisms on system-level, which allows me to orchestrate formal methods yielding to an optimization of certain characteristics already in an early design phase.

Dr. Vladimir Herdt
Phone: +49 (421) 218 - 63938
Room: MZH 4285
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.

Dr. Sebastian Huhn, M.Sc.
Phone: +49 (421) 218 - 63944
Room: MZH 4280
Email: huhn@informatik.uni-bremen.de
Twitter: se_huhn
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.

Sana Hassan Imam, M.Sc.
Phone: +49 (421) 218 - 63954
Room: MZH 4220
Email: sanahassan@uni-bremen.de

Prof. Dr. Thomas Kemmerich
Phone: +49 (421) 218 - 63940
Room: MZH 8050
Email: kemmer@uni-bremen.de

My research topics are Information- and Network Security. My research focus is ‘Adaptive Network Security Services in virtualized Networks’. I am also active in the field of Digital Computer Forensics, here especially in the topic of ‘Digital Forensic Readyness’. I have a professorship at the Norwegian University of Science and Technology (NTNU) in Network Security.

Dr. Hoang M. Le
Phone: +49 (421) 218 - 63957
Room: MZH 4204
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.

Alireza Mahzoon, M.Sc.
Phone: +49 (421) 218 - 63953
Room: MZH 4202
Email: mahzoon@informatik.uni-bremen.de
My Publications

My field of research is formal verification and debugging of gate-level arithmetic circuits specially large and complex multipliers and dividers. These circuits play an important role in different applications, and they usually consist of millions of gates. The idea is to take advantage of fast and scalable methods (e.g. computer algebra) to verify circuits, localize the faults, and make the buggy parts correct.

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

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 execution specifications.

Christopher Metz, M.Sc.
Phone: +49 (421) 218 - 63942
Room: MZH 4200
Email: cmetz@uni-bremen.de
My Publications

I am involved in setting up the Data Science Center. The preparation of the data is important for techniques of data science and machine learning. Because of that I deal with the collection, storage, archiving and processing of data. Futher more I am also interested in the areas of distributed and mobile applications as well as infrastructure for high-performance computing.

Tim Meywerk, M.Sc.
Phone: +49 (421) 218 - 64444
Room: MZH 4250
Email: tmeywerk@informatik.uni-bremen.de
My Publications

As part of the Collaborative Research Center EASE I am focusing on formal verification and optimization of plans for autonomous robots. In addition, my interests lie in the areas of automated reasoning and mathematical optimization.

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

Sajjad Parvin, M.Sc.
Room: MZH 4208
Email: parvin@uni-bremen.de

Dipl. Inf., Dipl. Math. Christina Plump
Phone: +49 (421) 218 - 64449
Room: MZH 4206
Email: cplump@informatik.uni-bremen.de
My Publications

My main research area is the verification of cryptographic security properties. In researching this topic I combine my interest for cryptology, algebra, number theory, logics and proof techniques, in order to find holistic security proofs that are relevant and applicable in practice.

Khushboo Qayyum, M.Sc.
Phone: +49 (421) 218 - 63958
Room: MZH 4222
Email: khushboo@uni-bremen.de

My research revolves around automated proofing techniques like BDDs and SAT solvers as part of modern verification methods. Currently I am focusing on examining these proofing techniques and optimizing them for verification of complex embedded systems using heuristics at various levels.

Dr.  Lena Steinmann
Phone: +49 (421) 218 - 63941
Room: MZH 4200
Email: lena.steinmann@uni-bremen.de

In my role as coordinator of the Data Science Center, I support the establishment of interdisciplinary collaborations fostering innovative research approaches related to data science. I am responsible for the management of the Data Science Center as well as its science communication and outreach activities.

Dr. Jannis Stoppe
Room: MZH 4260
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.

Sören Tempel, M.Sc.
Phone: +49 (421) 218 - 63936
Room: MZH 4290
Email: tempel@uni-bremen.de
My Publications

As part of the Scale4Edge research project I am currently working on the verification of embedded systems based on the open standard instruction set architecture RISC-V. The focus of my work lies especially on property checking and program analysis through symbolic execution techniques.

Marcel Walter, M.Sc.
Phone: +49 (421) 218 - 64440
Room: MZH 4260
Email: m_walter@informatik.uni-bremen.de
My Publications

My research topic is algorithm design for synthesis, optimization, and layout of classical and emerging computer technologies. For this purpose, I apply both heuristic and exact approaches. Besides CMOS, I have experience in the fields of Reversible Logic, Quantum Computing, DNA Computing, and Optical Computing, Digital Microfluidic Biochips (DMFB) as well as Quantum-dot Cellular Automata (QCA) and Nanomagnet Logic (NML).

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.

Dr. Lena Wollschläger
Phone: +49 (421) 218 - 64443
Room: MZH 4224
Email: wollschlaeger@uni-bremen.de

I am in charge of establishing a graduate school for the high-profile area Minds, Media, Machines. The graduate school aims at connecting existing research training groups, initiate new doctoral programs and promote structured doctoral education in general.

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.

Lennart Weingarten, B.Sc.
Phone: +49 (421) 218 - 64442
Room: MZH 4250
Email: len_wei@uni-bremen.de

Within the scope of my employment at the Collaborative Research Center 1232, I am developing a framework to process experimental data that are conducted in the field of material science. As part of this framework, various functionalities are provided concerning the visualization, the qualitative assessment as well as the analysis of correlations of those heterogeneous data sets. I am orchestrating newest web-technologies like Node.js and the document-oriented database system MongoDB to implement these functionalities.


Sitemap Kontakt