Technische Universität München
85748 Garching b. München
Optimizations on quantum programming language & quantum circuits, ZX-calculus, Applications in quantum computing.
Currently MQV (Munich Quantum Valley) is building a quantum computer and promoting quantum science and quantum technologies in Bavaria. We, as researchers in MQV, are working with many research groups to build a quantum computing ecosystem. For that we face challenges in areas like quantum programming language (E.g., design, compilation, and optimization of programming languages that deal with quantum specific features and/or classical control signal), quantum algorithms (E.g., mapping and routing algorithms that equip circuits with hardware-specific properties), tools/frameworks (could be one that helps perform analysis for quantum specific problems, one that helps users to design quantum circuits, or one that provides interfaces amongst different functional modules in quantum computing). Feel free to get in touch if you wish to discuss further, so that we could develop some thesis topic that is tailored to both your personal interests and our ongoing research.
- Chen, Y., Stade, Y. (2023). Quantum Constant Propagation. In: Hermenegildo, M.V., Morales, J.F. (eds) Static Analysis. SAS 2023. Lecture Notes in Computer Science, vol 14284. Springer, Cham. doi.org/10.1007/978-3-031-44245-2_9
- Amr Elsharkawy, Xiao-Ting Michelle To, Philipp Seitz, Yanbin Chen, Yannick Stade, Manuel Geiger, Qunsheng Huang, Xiaorang Guo, Muhammad Arslan Ansari, Christian B. Mendl, Dieter Kranzlmüller, Martin Schulz
Integration of quantum accelerators with high performance computing - A review of quantum programming tools