Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur

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

Master Thesis

Dear interested parties,

ChipIn our working group, it has proven successfully that interesting topics for Bachelor's and Master's theses are worked out in a personal dialogue. Thus, we do not offer a fixed list of predefined topics.

Please do not hesitate to contact us personally, by phone or email to arrange an appointment to discuss a potential topic.

Possible thesis topics include:
  • Design methodology for quantum computers
  • Formal verification of processors
  • Approximate computing in arithmetic circuits
  • Test pattern generation for integrated circuits
  • Application of neural networks in circuit design
  • ...
To get an idea of the broad spectrum of the topics, the already completed theses are listed below:

Fabian Lukas BlankenFail-Operational-System für semiautonome zivile Multicopter-DrohnenBachelor
Caroline DominikBestimmung polynomieller Schranken für die formale Verifikation symmetrischer SchaltungenBachelor
Marcel FranzenImplementierung einer automatischen Transformierung multilingualer Spracheingaben in DatenbankabfragenBachelor
Milan FunckDesign, Implementierung und Evaluierung einer RISC-V Prozessorerweiterung auf VP EbeneMaster
Jan HenselRoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual PrototypeBachelor
Philipp JohagRoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual PrototypeBachelor
Gregor KuhnDesign Understanding für Quantum-dot Cellular Automata LayoutsBachelor
Vinh Kien LucAutoencoder for dimension reduction of data in empirical asset pricing modelBachelor
Marcel MertenEntwicklung eines Hardware-basierten Evolutionären Algorithmus unter Verwendung von Mehrzieloptimierung zur Robustheitssteigerung sequentieller SchaltkreiseMaster
Luca MüllerCo-Simulation-Based Verification of a Register-Transfer Level RISC-V Implementation in Reference to a Virtual PrototypeBachelor
Martha SchnieberPolynomial Formal Verification of Approximate FunctionsMaster
Daniel StaackFehlerfindung in robotischen Plänen mittels FuzzingBachelor


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