Homepage Sitemap Contact




Home « Studies « Master Thesis
Dear reader,

entering a dialog to find interesting topics for Bachelor and Master theses has been proven benefitial for our working group in the past.

Thus we do not supply a fixed list of topics to choose from. Please don't hesitate to contact us personally, by phone, or email.

Possible thesis topics include:
  • Design methodology for quantum computers
  • Formal verification of processors
  • Approximate computing in arithmetic circuits
  • Test pattern generation for integrated circuits
  • Applications of neural networks in the circuit design
  • ...
In order to provide you with an overview of the range of possible topics, you will find a list of already finished theses further down on this page.

Choose a document for viewing:

All Bachelor Master Diploma
2022 anzeigen
anzeigen
2021 anzeigen
anzeigen
2020 anzeigen
anzeigen
2019 anzeigen
anzeigen
2018 anzeigen
anzeigen
2017 anzeigen
anzeigen
2016 anzeigen
anzeigen
2015 anzeigen
anzeigen
anzeigen
2014 anzeigen
anzeigen
anzeigen
2013 anzeigen
anzeigen
2012 anzeigen
anzeigen
anzeigen
2011 anzeigen anzeigen anzeigen
2010 anzeigen anzeigen
2009 anzeigen anzeigen
2008 anzeigen
2007 anzeigen
2006 anzeigen
2005 anzeigen


2021
NameTopicAbschluss
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



Following the links Team and Alumni you can observe a list of active co-workers and finished Ph.D. students.



Deutsch








Sitemap Kontakt

ISMVL2014 DUHDE