HOME | CONTACT | Switch DE

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen

PhD Thesis


Supporting doctoral candidates is of great importance for the working group.

The following list gives a chronological overview of the graduates as well as their titles of the respective PhD thesis, which were developed in close cooperation with research and/or industry partners.

Portrait: Pascal Pieper
Dr. Pascal Pieper
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
2023


Portrait: Niklas Bruns
Dr. Niklas Bruns
Virtual Prototype Centric Verification for Embedded System Development
2023


Portrait: Meywerk Tim
Dr. Meywerk Tim
Modelling, Verification and Test of High-level Robotic Plans
2023


Portrait: Alireza Mahzoon
Dr. Alireza Mahzoon
Formal Verification of Structurally Complex Multipliers
2022


Portrait: Buse Ustaoglu
Dr. Buse Ustaoglu
Hardware Packages for Self-Verification and Secure Partial Reconfiguration
2022


Portrait: Saman Fröhlich
Dr. Saman Fröhlich
A Fully Fledged HDL Design Flow for In-Memory Computing with Approximation Support
2022


Portrait: Rehab Massoud
Dr. Rehab Massoud
Evidence-Oriented Tracing and Verification The Declaration of Timeprints
2021


Portrait: David Lemma
Dr. David Lemma
Specification Analysis for System-Level Power-Aware ASIC Design
2021


Portrait: Muhammad Hassan
Dr. Muhammad Hassan
Enhanced Modern Virtual Prototype based Verification Flow for Heterogeneous Systems
2021


Portrait: Fritjof Bornebusch
Dr. Fritjof Bornebusch
COQ meets CλaSH - Proposing a Hardware Design Synthesis Flow that Combines Proof Assistants with Functional Hardware Description Languages
2021


Portrait: Marcel Walter
Dr. Marcel Walter
Design Automation for Field-Coupled Nanotechnologies
2021


Portrait: Mazyar Seraj
Dr. Mazyar Seraj
Impacts of Block-based Programming on Young Learners’ Programming Skills and Attitude in the Context of Smart Environments
2020


Portrait: Sebastian Huhn
Dr. Sebastian Huhn
Next Generation Design For Testability, Debug and Reliability Using Formal Techniques
2020

also presented in PhD-Forum: ASP-DAC 2021 und DATE 2021

Portrait: Vladimir Herdt
Dr. Vladimir Herdt
Efficient Modeling, Verification and Analysis Techniques to Enhance the Virtual Prototype based Design Flow for Embedded Systems
2020


Portrait: Harshad Dhotre
Dr. Harshad Dhotre
Pattern Analysis for Power Safe Testing and Prediction Using Machine Learning
2019


Portrait: Mehran Goli
Dr. Mehran Goli
Automated Analysis of Virtual Prototypes at the Electronic System Level -Design Understanding and Applications-
2019


Portrait: Kenneth Schmitz
Dr. Kenneth Schmitz
Trust is good, Control is better: A Container based System Design Scheme
2019


Portrait: Arighna Deb
Dr. Arighna Deb
Logic Synthesis Techniques for Optical Circuits
2018


Portrait: Saeideh Shirinzadeh
Dr. Saeideh Shirinzadeh
Synthesis and Optimization for Logic-in-Memory Computing using Memristive Devices
2018


Portrait: Zaid Saleem Ali Al-Wardi
Dr. Zaid Saleem Ali Al-Wardi
HDL-based Synthesis of Reversible Circuits|A Scalable Design Approach
2018


Portrait: Arun Chandrasekharan
Dr. Arun Chandrasekharan
Design Automation Techniques for Approximation Circuits - Synthesis, Verification and Test -
2017


Portrait: Oliver Keszöcze
Dr. Oliver Keszöcze
Exact Design of Digital Microfluidic Biochips
2017


Portrait: Nils Przigoda
Dr. Nils Przigoda
SMT-based Validation & Verification of UML/OCL Models
2017


Portrait: Amr Sayed-Ahmed
Dr. Amr Sayed-Ahmed
Highly Automated Formal Verification of Arithmetic Circuits
2017


Portrait: Jannis Stoppe
Dr. Jannis Stoppe
Non-Intrusive Analysis of Electronic System Level Designs in SystemC
2017


Portrait: Thole Niels
Dr. Thole Niels
Formal Verification throughout the Development of Robust Systems
2016


Portrait: Ngouo´goum Tague Laura Sandrine
Dr. Ngouo´goum Tague Laura Sandrine
Using Decision Diagrams in the Design of Reversible Circuit
2016


Portrait: Philipp Niemann
Dr. Philipp Niemann
Towards Computer-Aided Design of Quantum Logic: Compact Representations and Efficient Synthesis Methods for an Emerging Technology
2016


Portrait: Eleonora Schönborn
Dr. Eleonora Schönborn
Scalable Design and Synthesis of Reversible Circuits
2016


Portrait: Finn Haedicke
Dr. Finn Haedicke
High-Quality Hardware Design and Verification using Word-Level Satisfiability Techniques
2016


Portrait: Judith Peters
Dr. Judith Peters
Exploiting MARTE/CCSL in Modern Design Flows
2015


Portrait: Nabila Abdessaied
Dr. Nabila Abdessaied
Reversible and Quantum Circuits | Optimization and Complexity Analysis
2015


Portrait: Jan Malburg
Dr. Jan Malburg
Feature Localization and Design Understanding for Hardware Designs
2015


Portrait: Melanie Diepenbeck
Dr. Melanie Diepenbeck
Completing Behaviour Driven Development for Testing and Verification
2015


Portrait: Julia Seiter
Dr. Julia Seiter
Formal Model Refinement
2015


Portrait: Hoang M. Le
Dr. Hoang M. Le
Automated Techniques for Functional Verification at the Electronic System Level
2015

ausgezeichnet mit dem Sonderpreis des Rotary Clubs Bremen im Rahmen des Bremer Studienpreises 2016
also presented in PhD-Forum: DATE 2013 (Best Poster Award)

Portrait: Shuo Yang
Dr. Shuo Yang
Improving Coverage in Simulation-based Verification
2015


Portrait: Marc Michael
Dr. Marc Michael
Methoden zum Erfassen und Entwickeln von SystemC Modellen
2014


Portrait: Elsa Andrea Kirchner
Dr. Elsa Andrea Kirchner
Embedded Brain Reading
2014


Portrait: Mathias Soeken
Dr. Mathias Soeken
Formal Specification Level Concepts, Methods, and Algorithms
2013


Portrait: Mehdi Dehbashi
Dr. Mehdi Dehbashi
Debug Automation from Pre-Silicon to Post-Silicon
2013


Portrait: Stefan Frehse
Dr. Stefan Frehse
Quality and Quantity in Robustness Checking Using Formal Techniques
2013


Portrait: Hongyan Zhang
Dr. Hongyan Zhang
Testing of Reversible Circuits
2013


Portrait: Beate Kapturek
Dr. Beate Kapturek
Vorgehensmodelle für die Technische Dokumentation Eingebetteter Systeme
2013


Portrait: Daniel Tille
Dr. Daniel Tille
Advanced Utilization of Formal Methods in Automatic Test Pattern Generation for Industrial Designs
2011

also presented in Student-Forum: ETS 2009

Portrait: Stephan Eggersglüß
Dr. Stephan Eggersglüß
Robust Algorithms for High Quality Test Pattern Generation Using Boolean Satisfiability
2010

auszeichnet mit
dem EDAA Outstanding Dissertation Award 2011
dem IEEE TTTC's E.J. McCluskey 2010 Best Doctoral Thesis Award
dem Sonderpreis der Bruker Daltonik GmbH im Rahmen des Bremer Studienpreises 2011

also presented in PhD-Forum: DATE 2009

Portrait: André Sülflow
Dr. André Sülflow
WoLFram – A Word Level Framework for Formal Verification and its Application
2010

also presented in PhD-Forum: DATE 2011

Portrait: Robert Wille
Dr. Robert Wille
Towards a Design Flow for Reversible Logic
2009

ausgezeichnet mit dem Sonderpreis des Rotary Clubs Bremen im Rahmen des Bremer Studienpreises 2010
also presented in PhD-Forum: DAC 2009

Portrait: Ulrich Kühne
Dr. Ulrich Kühne
Advanced Automation in Formal Verification of Processors
2009

also presented in PhD-Forum: DATE 2010

Portrait: Frank Rogin
Dr. Frank Rogin
An Integrated Approach to Utilize Designer´s Debug Capacity in System-on-a-Chip Designs
2009

also presented in PhD-Forum: DATE 2009

Portrait: Daniel Große
Dr. Daniel Große
Quality-Driven Design and Verification Flow for Digital Systems
2008

ausgezeichnet mit dem Sonderpreis der Bruker Daltonik GmbH im Rahmen des Bremer Studienpreises 2009
also presented in PhD-Forum: DATE 2008

Portrait: Sebastian Kinder
Dr. Sebastian Kinder
Automated Validation and Verification of Railway Specific Components and Systems
2008


Portrait: Junhao Shi
Dr. Junhao Shi
Boolean Techniques in Testing of Digital Circuits
2007


Portrait: Görschwin Fey
Dr. Görschwin Fey
Increasing Robustness and Usability of Circuit Design Tools by Using Formal Techniques
2006

also presented in PhD-Forum: DATE 2007

Statistic | since the year 2006 Statistic since the year 2006

Earning a doctoral degree represents a significant milestone in the scientific career. Thus, it is definitely a reason to celebrate this day accordingly. On their special day, the graduates not only have to face specific technical questions during the colloquium, but also complete various quiz rounds on topics from everyday life and leisure. These impressions usually remain unforgettable and should not be withheld from public.



©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy