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


Research Staff
Sallar Ahmadi-Pour, Research Staff Niklas Bruns, Research Staff Kemal Çağlar Coşkun, Research Staff Mohammed E. Djeridane, Research Staff Mehran Goli, Research Staff Sebastian Huhn, Research Staff Sana Hassan Imam, Research Staff Thomas Kemmerich, Research Staff Jan Kleinekathöfer, Research Staff Rune Krauss, Research Staff Julian Lilkendy, Research Staff Alireza Mahzoon, Research Staff Marcel Merten, Research Staff Christopher Metz, Research Staff Tim Meywerk, Research Staff Sajjad Parvin, Research Staff Khushboo Qayyum, Research Staff Martha Schnieber, Research Staff Lena Steinmann, Research Staff Jannis Stoppe, Research Staff Sören Tempel, Research Staff Heike Thöricht, Research Staff Lena Wollschläger, Research Staff Sandra Zänkert, 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.






Niklas Bruns, M.Sc.
Phone: +49 (421) 218 - 59847
Room: MZH 4196
Email: nbruns@uni-bremen.de
My Publications

My research area is the verification of systems. My current research focus is coverage-guided verification as well as cross-level verification of embedded systems based on RISC-V.






Kemal Çağlar Coşkun, M.Sc.
Phone: +49 (421) 218 - 64446
Room: MZH 4182
Email: kcoskun@uni-bremen.de

I am interested in the verification of complex heterogeneous systems. My current goal is to increase the confidence in high-level verification of SystemC AMS models by showing equivalence between SystemC AMS representations and low-level representations of heterogeneous systems.






Mohammed E. Djeridane, M.Sc.
Phone: +49 (421) 218 - 63943
Room: MZH 4194
Email: djeridam@uni-bremen.de
My Publications

I am working on the CirroStrato project for trustworthy integrated circuit design, which aims at introducing reconfigurable FETs to conceal the circuit's behavior from potential attackers'. By this, intellectual propriety is being effectively protected. My research interests are about hardware design and security, design for trust, emerging technologies, and hardware-software co-design.






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. 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
My Publications

My research activity includes real-time data acquisition, data management, and data processing for dynamic processes by applying machine learning techniques in conjunction with formal techniques. In the end, my work aims at automating the entire flow by predicting the most beneficial set of parameters for such a dynamic process in soft real-time.






Prof. Dr. Thomas Kemmerich
Phone: +49 (421) 218 - 63940
Room: MZH 8071
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.






Jan Kleinekathöfer, M.Sc.
Phone: +49 (421) 218 - 64440
Room: MZH 4300
Email: ja_kl@uni-bremen.de
My Publications

My field of research is the formal verification of complex circuits as well as the complexity analysis of the verification process. Different approaches are capable of verifying specific groups of circuits efficiently. The goal of my work is to prove efficient verification for sets of circuits with a given method and to develop new approaches for types of circuits which are not easily verifiable with other techniques.






Rune Krauss, M.Sc.
Phone: +49 (421) 218 - 64445
Room: MZH 4260
Email: krauss@uni-bremen.de
My Publications

My research and teaching interests include logic synthesis and formal verification of VLSI circuits in technical systems, especially using decision diagrams. The main goals of my work are their algorithmic improvement and performance optimization to increase the efficiency of practical verification techniques like model checking in CAD systems.






Dr. Julian Lilkendy
Phone: +49 (421) 218 - 63956
Room: MZH 8071
Email: lilkendey@uni-bremen.de

Julian Lilkendey is a Data Steward at the DSC. For researchers in the natural and especially marine sciences, he is the contact person for all questions related to the sustainable management of research data, including data literacy trainings, support in proposal writing, and implementation of the FAIR principles in research projects.






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






Marcel Merten, M.Sc.
Phone: +49 (421) 218 - 63945
Room: MZH 4260
Email: mar_mer@uni-bremen.de
My Publications






Christopher Metz, M.Sc.
Phone: +49 (421) 218 - 63942
Room: MZH 8070
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.






Sajjad Parvin, M.Sc.
Phone: +49 (421) 218 - 63949
Room: MZH 4208
Email: parvin@uni-bremen.de
My Publications

As a goal of my research project OptiSecure, I would like to provide security for integrated circuits at the transistor level against non-invasive attacks, in particular optical-probing attacks. Currently, integrated circuits are vulnerable to the optical-probing attack, hence the intellectual properties and information can be hijacked using this technique. As a goal of my research, I would like to design secure circuits and architectures to combat such side-channel attacks. This is an important step to make circuits more secure toward this novel attack.






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.






Martha Schnieber, M.Sc.
Phone: +49 (421) 218 - 63948
Room: MZH 4300
Email: martha1@uni-bremen.de
My Publications

I am working on the formal verification of gate-level circuits, specifically of approximate circuits. Here, I prove that the formal verification of specific approximate circuits is feasible in polynomial time and space, by giving polynomial upper bounds for the verification complexity.






Dr.  Lena Steinmann
Phone: +49 (421) 218 - 63941
Room: MZH 8080
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.






Dipl.-Soz. Heike Thöricht
Phone: +49 (421) 218 - 63939
Room: MZH 8070
Email: thoerich@uni-bremen.de

As a data steward for social sciences and humanities, I advise researchers on the handling of research data along the entire research data cycle. From the creation of data management plans, to the management of your research data during the project, to its publication, I am happy to provide advice.






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.






Dr. Sandra Zänkert
Phone: +49 (421) 218 - 63957
Room: MZH 8071
Email: sandra.zaenkert@uni-bremen.de

As a data steward at the Data Science Center, I support researchers in the natural and especially the health sciences in implementing sustainable research data management, beginning with knowledge transfer and continuing through proposal submission support and implementation of the FAIR principles throughout the entire research process.






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.







Deutsch






Sitemap Kontakt

ISMVL2014 DUHDE