Technical University of Munich
School of Computation, Information and Technology
Chair for Design Automation
Prof. Dr. Robert Wille
Arcisstrasse 21
80333 Munich | Germany
Tel: +49 89 289 23551

How To Find Us

The Chair for Design Automation is supported by the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program.

Der Lehrstuhl für Design Automation wird durch das Bayerische Staatsministerium für Wissenschaft und Kunst im Rahmen des Spitzenprofessurenprogramms gefördert.

Bavarian Coat of Arms

Theses and Projects

We constantly supervise Bachelor’s and Master’s theses and projects on a broad variety of topics with a particular focus on the design of circuits and systems for conventional as well as alternative and post-CMOS computing technologies such as quantum computing, biochips, reversible circuits, etc. Besides that, we are constantly broadening our portfolio and are also open to exciting ideas by students. We believe in research-oriented learning, but also provide various topics with practically-relevant applications. In our opinion, it has been proven beneficial to discuss suitable topics with each student individually. Hence, we encourage you to directly approach us if you are interested in conducting your thesis/project within our group. To this end, just try to find us in our offices or leave us a mail.

Previous Work by Students (Selection)

The following provides an (incomplete) list of previous work by students who did their Bachelor thesis, Master thesis, and/or projects in our group. The list only offers the main information of each work. If you are interested in some work summarized here, please leave us a mail.

  • Zain Amir Zaman: Machine Learning on the Edge for Gesture Recognition using 60 GHz FMCW Radar (Master, May 2024)
  • Ayse Kotil: Quantum Algorithms for Multi-Objective Optimization (Master, May 2024)
  • Michele Guardiani: Quantum Algorithms for Multi-Objective Optimization (Master, March 2024)
  • Shun Hu: EmbededIn-Door People Counting Using Short-Range Radar Sensors (Master, February 2024)
  • Yang Linyan: Unifying Unsupervised Domain Adaption for Video and Image Semantic Segmentation (Master, January 2024)
  • Florina Costamoling: Modular 1D-Simulator for Microfluidic Biochips (Master, November 2023)
  • Aleksei Velsh: Two-Qubit Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers (Bachelor, November 2023)
  • Ismail Ahl-Lamara: Explainable Artificial Neural Networks for Efficient Cryogenic Silicon Device Modeling (Master, September 2023)
  • Firas Koubaa: Modellbasierte Testfallerstellung zur automatisierten HIL-Absicherung (Bachelor, August 2023)
  • Zhang Miao: Deep learning-based out of distribution detection of human presence using short-range radar (Master, July 2023)
  • Tiago Alexander Reiter: On the importance of verifying the results of quantum circuit compilation flows (Bachelor, May 2023)
  • Feng Hao: Elderly Fall Detection by FMCW Radar (Master, February 2023)
  • Benjamin Hien: Signal Distribution Networks in Automatic QCA Standard-Cell Placement & Routing (Master, February 2023)
  • Huawei Sun: Explainable and Robust Al for improving People Counting Tasks using FMCW radar (Master, October 2022)
    Work contributed to the scientific paper "Utilizing Explainable AI for improving the Performance of Neural Networks".
  • Julius Ott: Meta-Reinforcement Learning for Human Targets Tracking in heterogeneous Scene Settings (Master, August 2022)
    Work contributed to the scientific paper "Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking".
  • Simon Hofmann: Reinforcement Learning and Evolutionary Algorithms for Jammer Mitigation in Cognitive Radio (Master, Juli 2022)
  • Karim Janou: Adversarial Attacks on Radar Data: Loss Functions’ Transferability and Universal Patches (Master, March 2022)
  • Tom Peham: Equivalence checking of Quantum Circuits with the ZX-calculus (Master, March 2022)
    Work contributed to the scientific paper "Equivalence checking paradigms in quantum circuit design: A case study".
  • Dominik Bonora: SyReC Parser and Compiler (Bachelor, January 2022)
  • Daniel Lummerstorfer: Equivalence Checking of Dynamic Quantum Circuits via Unitary Reconstruction (Bachelor, November 2021)
  • Christian Dickgiesser: Concurrent Execution of Decision Diagram-based Quantum Circuit Simulation (Master, November 2021)
  • Markus Hirth: Experiments on Routing and Pin-Assignment for Digital Microfluidic Biochips (Bachelor, November 2021)
  • Philipp Ebner: Automated Design of Microfluidic Channels (Master, October 2021)
    Work contributed to the scientific paper "Comprehensive and Accessible Channel Routing for Microfluidic Devices" (Best Paper Candidate).
  • Hartwig Bauer: Hybrid Schrödinger-Feynman Simulation of Quantum Circuits with Decision Diagrams (Master, July 2021)
    Work contributed to the scientific paper "Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams".
  • Sarah Schneider: Optimizing SAT-Encodings for Quantum Layout Synthesis (Master, March 2021)
  • Florian Stögmüller: Recordering of Decision Diagrams for Quantum Computing (Bachelor, February 2021)
  • Michael Artner: Visualizing Quantum Decision Diagrams (Bachelor, January 2021)
    Work contributed to the web-based tool visualizing the simulation and verification of quantum circuits with so-called decision diagrams accessible at this page which also was covered in the scientific paper "Visualizing Decision Diagrams for Quantum Computing".
  • Philipp Ebner: Meander Designer: Automated Design of Meander Channels (Bachelor, December 2020)
    Work contributed to the web-based design tool for microfluidics accessible at this page which also was covered in the scientific paper "Meander Designer: Automatically Generating Meander Channel Designs".
  • Eric Schinwald: Evaluating Custom Coupling Maps For Quantum Circuits (Bachelor, December 2020)
  • Michael Hirnschrodt: Quantencomputer Simulator (Bachelor, July 2020)
    Work led to the audio-visual quantum simulator shown in this picture.
  • Florian Schöffl: Visualization of a Microfluidic Simulator (Bachelor, June 2020)
    Work led to the web-based microfluidic simulator accessible at this page.
  • Michael Mayr: A Graphical User Interface for Simulation Droplet-Based Microfluidics (Bachelor, May 2020)
  • Hans Peter Ullmann: Applying Reinforcement-Learning for Routing and Pin-mapping in Digital Microfluidic Biochips (Bachelor, June 2019)
  • Hartwig Bauer: Mapping Quantum Circuits to Quantum Architectures (Bachelor, June 2019)
    Work contributed to the scientific paper "Evaluating the Flexibility of A* for Mapping Quantum Circuits".
  • Lukas Burgholzer: Minimal Mapping of Quantum Circuits to the IBM QX Architectures (Bachelor, March 2019)
    Work contributed to the scientific paper "Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations".
  • Simon Eilmsteiner: Robustheitsanalyse von Networked Labs-on-Chip Architekturen (Bachelor, May 2018)
  • Berislav Klepic: Realization of Synthesis Tasks for PMD-Biochips (Master, October 2017)
    Work contributed to the scientific paper "Sound Valve-Control for Programmable Microfluidic Devices" and was given a UBIT Award.
  • Sebastian Pointner: Virtual Test Development: A Novel Concept for Pre-Silicon Test Program Development (Master, March 2017)
    Work contributed to the scientific paper "Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows".
  • Michael Preisach: Realization of a Two-Wire Protocol on the Raspberry Pi (Bachelor, April 2016)
  • Berislav Klepic: Delta Sigma - Digital Analog Umsetzer (Bachelor, February 2015)