HOME | CONTACT | Switch DE

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:

2013
NameTopicDegree
Arman Allahyari-AbhariExakte Synthese minimaler NCV-|v1>-QuantenschaltkreiseDiplom
Luka  DschaakErmittlung der optimalen Ausbeute: Was gibt mein Kühlschrank wirklich her?Bachelor
Andrej FastVerbesserung der Fehlertoleranz von ANSI-C Programmen durch Simulation und genetische AlgorithmenDiplom
Torben  HansingModellgetriebene Simulation von MicrocontrollersystemenBachelor
Sascha HestermannHardwarebeschleunigung eines ErfüllbarkeitsbeweisersBachelor
Tobias KoehlerVergleich von formalen Methoden zur Fehlerlokalisierung in SoftwareDiplom
Niklas KrafczykAutomatische Integration von Hardware-Modulen auf Register-Transfer-EbeneBachelor
Aaron Frederick LyeOptimization of Quantum Circuits for Linear Nearest Neighbor ArchitecturesBachelor
Ali MohammadzadehSynthese reversibler Funktionen mithilfe des ZauberwürfelsBachelor
Marc  NiehausComparing UML Models to Natural Language SpecificationsBachelor
Lennart PleußEntwicklung einer domänenspezifischen Sprache und eines Editors auf Basis von Xtext zur Erstellung von GUI-ModellenBachelor
Nils  PrzigodaAlgorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im EntwurfDiplom
Abirami Puvanendran Testgetriebener Systementwurf auf Basis von SysML ModellenDiplom
Matthias  SchilmannOptimierung von Tiefenkosten auf reversibler EbeneDiplom
Kenneth SchmitzSimultane Testmustergenerierung für Mehrfach Einzelfehler mittels Pseudo-Boolescher Optimierung zur Erzeugung kompakter TestmengenDiplom
Karl TrzebiatowskiAutomatisierung eines Zuweisungssystems für die LehramtausbildungDiplom
Aljoscha WindhorstEntwurf und Implementierung eines C-Beweisers für die funktionale AbdeckungsanalyseDiplom
Mathäus  WojtFehlerdiagnose reversibler Schaltungen unter Ausnutzung von Verfahren für den Online TestDiplom


hide


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