Theses and Student Projects
We actively supervise Bachelor’s and Master’s theses and research projects across a wide variety of topics. Our focus ranges from the design of circuits and systems for conventional technologies to alternative and post-CMOS computing technologies, such as quantum computing, microfluidics (biochips), and nanotechnologies.
We believe in research-oriented learning and are constantly expanding our portfolio. While we provide the environment and expertise, we look for students who take initiative.
1. Explore Our Research
Please check out our Research Overview to familiarize yourself with our current work (a look into the corresponding open-source repositories mentioned there could also be helpful).
2. Develop Your Idea
To ensure a successful collaboration, we kindly ask that you approach us with a rough topic idea or a specific research direction in mind. We are not expecting you to come up with a complete, fully spelled‑out proposal; however, having a rough idea of the direction you would like to work in would be great, so we can jointly develop a precise plan for your thesis. When you reach out, your application should show that (1) you have reviewed the topics we are working on, (2) you have a rough proposal for what direction you want to go, and (3) that this aligns with our activities, so that we actually can provide proper supervision.
3. Send Your Proposal
Once you have formulated your topic idea, please send your request to the specific email address corresponding to your area of interest:
- Quantum Computing: quantum.thesis.cda@xcit.tum.de
- Microfluidics: microfluidics.thesis.cda@xcit.tum.de
- Nanotechnology: nanotechnology.thesis.cda@xcit.tum.de
- Logic Synthesis: logic.synthesis.thesis.cda@xcit.tum.de
- Physical Design: physical.design.thesis.cda@xcit.tum.de
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.
- Hsuan-Chu Chen: Lattice Surgery Compilation for Topological Quantum Error Correcting Codes (Master, September 2026)
- Mei-Ling Fang: Federated Causal Discovery with Probabilistic Circuits: Towards Scalable, Privacy-Preserving Structural Learning (Master, September 2026)
- Maxie Helen Bichmann: Automated Equivalence Checking of Stabilizer Codes (Bachelor, September 2026)
- Sebastian Ludwig: Event-Based Simulation of Modern Railway Networks (Bachelor, August 2026)
- Kardam Gregov: Determining the Sufficient Number of Shots for Noisy Quantum Devices (Master, August 2026)
- Linus Bohle: MQT FlowViz: Interactive Visualization of Quantum Compilation Runs (Bachelor, August 2026)
- Ioan-Albert Florea: Connecting Quantum Software Stacks - MQSS and QCI Connect (Master, July 2026)
- Anatol Bußejahn: Advancing Quantum Circuit Translation and Optimization in the MQT Compiler Collection (Bachelor, June 2026)
- Li-ming Bao: Structured Control Flow in Quantum Dialect Conversion: From High-Level Code to Executable QIR (Master, June 2026)
- Carolina Schäfer: Decomposition and Scheduling of Quantum Gates for Neutral Atom Quantum Computers (Bachelor, May 2026)
- Mohamed Amine Abidi: Improved Routing in Lattice Surgery Compilation (Bachelor, May 2026)
- Martina Moncolova: Macroscopic Effects of Numerical Choices in Quantum Simulation with the Time-dependent Variational Principle (Master, April 2026)
- Jakob Fuchs: Connectivity-Aware Synthesis of Fault-Tolerant State Preparation Circuits (Bachelor, April 2026)
- Tamino Bauknecht: Leveraging LLVM and MLIR for Quantum Circuit Compilation and Optimization (Master, March 2026)
- Julian Shen: Compilation Techniques for Spin Qubit Quantum Computers (Master, February 2026)
- Chrissa Philip: A Study on Graph Representations for GNN-based Analog Circuit Completion (Bachelor, February 2026)
- Jiang Long: Deep Learning-based Radar and Camera Fusion for Depth Estimation (Master, February 2026)
- Matthias Reumann: Quantum Circuit Mapping using MLIR (Master, January 2026)
- Michael Feldmeier: Exploring Feedback-Guided AIG Optimization to Align Logic Synthesis with Mapping Objectives (Master, December 2025)
- Shaobo Zhou: Quantum Circuit Compilation with Reinforcement Learning (Master, November 2025)
- Firas Koubaa: Error detection based on vehicle communication data using artificial intelligence (Master, November 2025)
- Li-ming Bao: Quantum Circuit Optimizations within the MLIR Framework (IDP, October 2025)
- Anass Ibrahimi: Explainable Gesture Recognition: A Counterfactual Approach to Interpreting Deep Neural Networks for Radar Sensor-based Classification (Master, September 2025)
- Clément Trabet: Automated Synthesis of Fault-Tolerant State Preparation Circuits for Stabilizer Codes (IDP, September 2025)
- Raphael Bartelmus: Computational Fluid Dynamic Analysis of the Aortic Root and Coronary Arteries (Master, September 2025)
- Fiona Fröhler: Graph Partitioning Algorithms for Circuit Cutting (Master, September 2025)
- Paul Wiese: Classical Equivalence Checking with Quantum Computing Using Grover’s Algorithm (Bachelor, September 2025)
- Andre Youssefi: Neuronal network based Quantum Error correction decoder (IDP, July 2025)
- Benjamin Liertz: Development of an Open-Source SLA Slicer for Optimizing Microfluidic Chip Fabrication (Bachelor, July 2025)
Work contributed to the scientific paper “An Open-Source Slicer for 3D mSLA Printing of Microfluidic Chips”. - Chih-Hsiao Yeng: Automated and Time-Efficient Placement of ETCS L2 Data Points of Type 60 in ProVI LST (Master, June 2025)
- Severin Lochschmidt: Integrated Train Timetabling and Line Planning using Microscopic Moving Block Simulation (Master, April 2025)
Work contributed to the scientific paper “Towards Optimal Train Routing Using Microscopic Simulation on Moving Block Controlled Networks”. - Haoxiang Yang: Quantifying Driver Experience with L2/L2+ Advanced Driver Assistance Systems in Urban Scenarios Using AI Models (Master, April 2025)
- Julius Kramer: Automated Quality Analysis of 3D Fabricated Microfluidic Chips (Bachelor, March 2025)
- Deblina Sanyal: Physics and Data Informed Design Automation for Complex Microscale Systems (Master, March 2025)
- Tim Scholl: Automatic Design and Compliance Validation with the ISO 22916 Standard for Microfluidic Devices (Bachelor, March 2025)
- Georgina Staudt: Analyzing the Effects of Error Budget Distributions in Fault-Tolerant Quantum Computing on Hardware Requirements (Bachelor, March 2025)
- Felix Kiefhaber: Super-Tile Routing for Omnidirectional Information Flow in Silicon Dangling Bond Logic (Bachelor, March 2025)
- Nico Petzendorfer: Visualizing Atom Shuttling: A Web Application for Neutral Atom Quantum Computers (Bachelor, Mar 2025)
- Julian Koch: A Scalable and Flexible Quantum Circuit Benchmark Library Architecture (Bachelor, Jan 2025)
Work contributed to MQT Bench. - Philipp Feneberg: Datastructures for the classical simulation of quantum circuits Decision Diagrams (DDs) versus Matrix Product States (MPS) (Master, Jan 2025)
- Patrick Hopf: Machine Learning Guided Quantum Circuit Compilation (Master, December 2024)
- Petar Petrov: Beyond Classical Boundaries: Quantum Optimization Strategies for Karp’s 21 NP-Complete Problems (Master, November 2024)
- Yusuke Kibakura: Optimal Design of Train Control Systems with Hybrid Train Detection using A* (Bachelor, November 2024)
- Janis Pepe Heims: Equivalence checking of quantum circuits using diff algorithms (Bachelor, October 2024)
- Jakob Schäffeler: Connectivity Constraints for Clifford Circuit Synthesis in MQT QMAP (IDP, September 2024)
- Claudia Dünzinger: Ordering of Decision Diagrams for Quantum Simulation without Reordering (Bachelor, September 2024)
- Tianyi Wang: How to Unleash Docker’s Potential for Real-Time Software (Master, September 2024)
- Simone Domenici: Depth-Optimal Synthesis of Graph State Preparation Circuits (Bachelor, July 2024)
- 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: Machine learning FOR FMCUO Radar Processing With uncalibrated arrays (Master, March 2024)
- Shun Hu: Embedded Indoor 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)
Work contributed to the scientific paper “Modular and Extendable 1D-Simulation for Microfluidic Devices”. - 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, July 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: Reordering 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)