Homepage Sitemap Contact

Group
Reasearch
Studies
Publications
Software
Service
Contact




Home « Group « Team



Head of the Group
Rolf Drechsler, Head of the group

Since October 2001 Prof. Dr. Rolf Drechsler is the head of the computer architecture group. Beside the lectures for graduate and undergraduate students, in the research field we are active in different areas of VLSI CAD covering synthesis, verification and test.



Secretary, Technic & Service
Regine Janssen, Secretary Birthe Semken, Secretary Uwe Forgber, Techics Lisa Jungmann, Service


Research Staff
Nicole Drechsler, Research Staff Stephan Eggersglüß, Research Staff Görschwin Fey, Research Staff Alexander Finder, Research Staff Stefan Frehse, Research Staff Christian Genz, Research Staff Daniel Große, Research Staff Finn Haedicke, Research Staff Jean Christoph Jung, Research Staff Beate Kapturek, Research Staff Ulrich Kühne, Research Staff Hoang M. Le, Research Staff Sebastian Offermann, Research Staff Mathias Soeken, Research Staff André Sülflow, Research Staff Daniel Tille, Research Staff Robert Wille, Research Staff Hongyan Zhang, Research Staff








Prof. Dr.  Rolf Drechsler
Phone: +49 [421] 218 - 63932
Room No. 3510
Email: drechsle@informatik.uni-bremen.de
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.






Regine Janssen
Phone: +49 [421] 218 - 63931
Room No. 3490
Email: rjanssen@informatik.uni-bremen.de

I am a secretary for the working group computer architecture and am here responsible for everything from the range secretariat and administration.






Birthe Semken
Phone: +49 [421] 218 - 63930
Room No. 3490
Email: semken@informatik.uni-bremen.de

I am the secretary of this working group and responsible for everything in administration.






Dipl.-Ing Uwe Forgber
Phone: +49 [421] 218 - 63934
Room No. 3575
Email: forgber@informatik.uni-bremen.de

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






Dr. Nicole Drechsler
Phone: +49 [421] 218 - 63948
Room No. 3470
Email: nd@informatik.uni-bremen.de
My Publications

I am working as lecturer and research assistent in the area of evolutionary algorithms and applications. The considered approaches are mainly taken from the world of digital circuit design.

publications






Dipl.-Inf. Stephan Eggersglüß
Phone: +49 [421] 218 - 63936
Room No. 3440
Email: segg@informatik.uni-bremen.de
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.






Dr. Görschwin Fey
Phone: +49 [421] 218 - 63944
Room No. 3060
Email: fey@informatik.uni-bremen.de
My Publications

Exercises and tutorial lessons are simply important - computer scientists have to know how their machines work.
The other main focus is research - formal verification of circuits must become easier! So far designs are rarely formally verified - too difficult - this is to be changed ...






Dipl.-Inf. Alexander Finder
Phone: +49 [421] 218 - 63949
Room No. 3070
Email: final@informatik.uni-bremen.de
My Publications

Until now I was interested in heuristic and exact optimization procedures in logic synthesis. Actually my research interests are focused on analyzing and debugging of circuits.






Dipl.-Inf. Stefan Frehse
Phone: +49 [421] 218 - 63953
Room No. 3050
Email: sfrehse@informatik.uni-bremen.de
My Publications

My research is the robustness check of digital circuits with use of formal methods. The features sizes in VLSI circuits shrinking continuously. The circuits gets more and more vulnerable against transient faults. The currently developed methods of robustness verification have to be improved for real-world applications.






Dipl.-Inf. Christian Genz
Phone: +49 [421] 218 - 63942
Room No. 3480
Email: genz@informatik.uni-bremen.de
My Publications

My role in the the work-group is about developing techniques for design-space exploration and visualization. These techniques are priory used in hardware-software co-design, to develop integrated environments which optimize the VLSI-CAD.






Dr. Daniel Große
Phone: +49 [421] 218 - 63935
Room No. 3460
Email: grosse@informatik.uni-bremen.de
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.






Dipl.-Inf. Finn Haedicke
Phone: +49 [421] 218 - 63943
Room No. 3450
Email: finn@informatik.uni-bremen.de
My Publications

In my work I integrate contextual knowledge into system-level verification. This is done by using and extending word-level solvers and combining them with current verification approaches.






M.Sc. Jean Christoph Jung
Phone: +49 [421] 218 - 63954
Room No. 3050
Email: jeanjung@informatik.uni-bremen.de

My research interest is the application of constraint programming techniques, such as arc-consistency, in the area of SMT-solving. In particular, I am trying to combine bit vector logic with the SAT problem.






Dipl.-Inf. Beate Kapturek
Phone: +49 [421] 218 - 63951
Room No. 3550
Email: kapturek@informatik.uni-bremen.de
My Publications

My main focus lies on the one hand in research and there specially in the technical documentation and formal specification from circuits and systems on the other hand in care of courses and seminars in basic and main studies.






Dr. Ulrich Kühne
Phone: +49 [421] 218 - 63946
Room No. 3530
Email: ulrichk@informatik.uni-bremen.de
My Publications

My research is mainly about formal verification. In particular, I am working on the verification of micro processors. I am studying how to automate the verification and make it easier to handle.






Dipl.-Inf. Hoang M. Le
Phone: +49 [421] 218 - 63957
Room No. 3450
Email: hle@informatik.uni-bremen.de
My Publications






Dipl.-Inf. Dipl.-Math. Sebastian Offermann
Phone: +49 [421] 218 - 63950
Room No. 3480
Email: offerman@informatik.uni-bremen.de
My Publications

My principally research interests cover the subject areas of the satisfiability problem (SAT) and the optimization of false path analysis as well as the study of crosstalks.






Dipl.-Inf. Mathias Soeken
Phone: +49 [421] 218 - 63955
Room No. 3560
Email: msoeken@informatik.uni-bremen.de
My Publications

In the work-group I am working on the examination of Boolean Satisfiability (SAT) on different layers of abstraction. Furthermore, my research is about ATPG and LBIST.






Dr. André Sülflow
Phone: +49 [421] 218 - 63945
Room No. 3070
Email: suelflow@informatik.uni-bremen.de
My Publications

The focus of my research is automation in debugging and diagnosis of reliable systems. Formal verification and semi-formal methods are studied in this area.






Dipl.-Inform. Daniel Tille
Phone: +49 [421] 218 - 63938
Room No. 3440
Email: tille@informatik.uni-bremen.de
My Publications

In the past, my research interest has been SAT-Solving. Now, at the group of computer architecture, I mainly focus on Automatic Test Pattern Generation. Goal is to combine these two techniques.






Dr. Robert Wille
Phone: +49 [421] 218 - 63947
Room No. 3485
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. Hongyan Zhang
Phone: +49 [421] 218 - 63956
Room No. 3560
Email: zhang@informatik.uni-bremen.de

My main focus lies in the research of „testing for reversible circuits“. In particular, I am working on ATPG for reversible circuits.






Lisa Jungmann
Phone: +49 [421] 218 - 63933
Room No. 3550
Email: jungmann@informatik.uni-bremen.de
My Publications

I am Fachinformatikerin in the emphasis application development specialized in Multimedia. I concern myself primarily with design and the development from websites based on CMS.







Add to Favorites
Deutsch






Sitemap Kontakt