Curriculum Vitae
Education
- Ph.D. in Computer Science (summa cum laude), University of Bremen, 2021
- Thesis: Design Automation for Field-coupled Nanotechnologies
- M.Sc. in Computer Science, University of Bremen, 2016
- Specialization in Safety, Security, and Quality
- Thesis: Exact Synthesis of Abstraction-Level-Independent Logic Networks
- B.Sc. in Computer Science, University of Bremen, 2015
- Thesis: Optimization of Quantum Circuits for Linear Nearest Neighbor Architectures
Work Experience
- Since 2025: Senior Quantum Software Engineer at the Munich Quantum Software Company (MQSC)
- Industrial-strength software for quantum computers
- Since 2021: Postdoctoral Researcher at the Technical University of Munich (TUM)
- Design Automation for post-CMOS Emerging Nanotechnologies
- Logic Synthesis & Physical Design
- 2024: Substitute Professor at the University of Bremen
- Teaching graduate courses (cf. teaching experience)
- 2016–2021: Researcher and Ph.D. student at University of Bremen
- Physical design of post-CMOS Emerging Nanotechnologies
- Verification of CRAM plans for PR2 robots at the collaborative research center EASE
- Teaching undergraduate courses (cf. teaching experience) and supervising Bachelor’s and Master’s theses
- Supervisor: Prof. Dr. Rolf Drechsler, Research Group of Computer Architecture
- 2015–2016: Independent Study at University of Bremen
- Reactive system synthesis from LTL specifications using Satisfiability Modulo Theories (SMT)
- Supervisor: Prof. Dr. Rüdiger Ehlers, Modelling of Technical Systems Research Group
- 2015–2016: Research Assistant at German Research Center for Artificial Intelligence (DFKI)
- Formal verification of access control systems
- Supervisor: Prof. Dr. Christoph Lüth, Cyber Physical Systems
- 2013–2015: Student Tutor / Teaching Assistant at University of Bremen
- Practical Computer Science 1
- Java basics, object-oriented programming, algorithms and data structures
- Supervisor: Dr. Karsten Hölscher, Software Engineering Group
- Technical Computer Science 1
- Computer architecture and embedded systems, Boolean Algebra, logic synthesis
- Supervisor: Prof. Dr. Rolf Drechsler, Research Group of Computer Architecture
- Practical Computer Science 1
Open-Source Repositories (selection)
- Since 2024: Initiator and maintainer of the aigverse library
- A Python library for working with logic networks, synthesis, and optimization
- High-performance C++ backend
- Interoperability with other logic synthesis tools
- Convenient integration with popular data science and machine learning libraries
- Since 2018: Initiator and maintainer of the fiction framework
- Design Automation of Field-coupled Nanotechnologies (cf. the tool paper)
- Open-source project for researchers and developers
- Featured in several third-party publications (cf. the citing papers)
- Honored with a Best Research Demo Award (see below)
Challenges, Tutorials, and Contests
- 2024: IWLS Programming Contests
- Optimal synthesis of AIGs and XAIGs from truth table specifications
- 2020: High Level Synthesis Tutorial by Cadence @ DAC 2020
- Logic synthesis of a Convolutional Neural Network that serves as an AI Accelerator for Image Recognition (cf. the issued badge)
- 2016: Bremen Big Data Challenge
- Applied machine learning on League of Legends statistics to predict winning teams
Conference and Journal Publications
Honors and Awards
LASCAS 2025 Best Paper Award Candidate: “Physical Design for Field-coupled Nanocomputing with Discretionary Cost Objectives” (cf. the conference program’s excerpt)
IEEE NANO 2024 Best Presentation Award: “Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost Functions” (cf. the award certificate)
IWLS 2023 Best Paper Award Candidate: “Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost Functions” (cf. the conference website’s excerpt)
ASP-DAC 2021 Best Paper Award Candidate: “One-pass Synthesis for Field-coupled Nanocomputing Technologies” (cf. the conference website’s excerpt and the respective paper)
DAC 2020 Best Young Student Fellow Research Video Award: “Time Multiplexing Via Circuit Folding” (cf. the issued reward and the respective video)
DAC 2020 Young Student Fellow Program Scholarship (cf. the respective certificate of appreciation)
ISVLSI 2020 Best Student Forum Paper Award: “Design Automation for Field-coupeld Nanotechnologies” (cf. the award certificate, the respective paper, and a press release in German)
ISVLSI 2020 Best Paper Award Candidate: “Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits” (cf. the respective paper)
ISVLSI 2019 Best Research Demo Award: “fiction: Electronic Design Automation for Field-coupled Nanocomputing Circuits” (cf. the award certificate and a DFKI press release in German)
Invited Talks
The Munich Nanotech Toolkit (MNT)
Invited Workshop Contribution at Universidade Federal de Minas Gerais - Workshop on Nanocomputing, Belo Horizonte, Brazil
Logic Synthesis for AI
Workshop with hands-on at 3rd Annual Hack4Her Event, Amsterdam, Netherlands
The Case for Planar Logic Synthesis - Crossing Costs in Nanotech
Invited Special Session at International Workshop on Logic and Synthesis (IWLS) 2024, Zurich, Switzerland
The Munich Nanotech Toolkit (MNT)
Guest Researcher Lecture at Department of Physics - Condensed Matter, University of Alberta, Edmonton, Canada
Design Automation for Field-coupled Nanotechnologies
Thesis overview at École polytechnique fédérale de Lausanne - Laboratoire des Systèmes Intégrés, Lausanne, Switzerland
Field-coupled Nanocomputing (FCN)
Lecture at Johannes Kepler University Linz - Emerging Computer Technologies, Linz, Austria
Teaching Experience
Skills
- Languages
- German: mother tongue
- English: fluent
- Dutch: B2
- Programming
- C/C++
- Python
- Rust
- Java
- Bash
- Git
- CI/CD
- Reserach interests
- Field-coupled Nanocomputing
- Quantum Computing
- Cryogenic CMOS
- Logic Synthesis and Optimization
- Physical Design
- Placement & Routing
- Algorithms
- Satisfiability Solving
- Graph and Complexity Theory
Professional Service
- Reviewer for international conferences and journals (verified on my publons profile where applicable) including
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
- Design Automation Conference (DAC)
- International Conference On Computer Aided Design (ICCAD)
- Design, Automation and Test in Europe (DATE)
- ACM Journal on Emerging Technologies in Computing (JETC)
- IEEE Transactions on Nanotechnology (TNANO)
- IEEE Transactions on Circuits and Systems (TCAS)
- IEEE Transactions on Very Large Scale Integration Systems (TVLSI)
- ACM Transactions on Design Automation of Electronic Systems (TODAES)
- Journal of Computational Electronics (JCEL)
- International Workshop on Logic and Synthesis (IWLS)
- ACM Great Lakes Symposium on VLSI (GLSVLSI)
- Euromicro Conference on Digital System Design (DSD)
- Microprocessors and Microsystems: Embedded Hardware Design (MICPRO)
- Journal on Analog Integrated Circuits and Signal Processing (ALOG)
- International Conference on VLSI Design (VLSID)
- European Test Symposium (ETS)
- IEEE Design & Test (D&T)
- IEEE International Symposium on Multiple-Valued Logic (ISMVL)
- IEEE International Symposium on Embedded Computing and System Design (ISED)
- IEEE CASS Latin American Symposium on Circuits and Systems (LASCAS)
- Mathematics
- The European Physical Journal Plus (EPJ Plus)
- Integration - The VLSI Journal
- IEEE Embedded Systems Letters (ESL)
- Executive team for international conferences
- Track Co-Chair for the Technology (Devices, Nano-electronic), Design Automation, Test, Fault Tolerance, and Reliability track at the IEEE CASS Latin American Symposium on Circuits and Systems (LASCAS) 2025
- Proceedings Chair in the Organizing Committee and jury member for the Best Student Paper Award at the International Workshop on Logic and Synthesis (IWLS) 2024
- Chair for the Machine Learning for Synthesis session at the International Workshop on Logic and Synthesis (IWLS) 2024
- Technical Program Committee Member of the International Conference on Computer-Aided Design (ICCAD) 2023 (cf. the certificate of appreciation)
- Chair for the Verification session at the International Workshop on Logic and Synthesis (IWLS) 2023
- Technical Operator at the International Conference On Computer-Aided Design (ICCAD) 2020
- Staff member at the European Test Symposium (ETS) 2018
- Community services
- Host of an expert/mentor session at the 3rd Annual Hack4Her Event 2024 in Amsterdam, Netherlands
- Host of an expert/mentor session at the Hack4Her Technology Retreat 2023 in Amsterdam, Netherlands
- Jury member at the Hack4Her Hackathon 2022 in Amsterdam, Netherlands
- Student mentor at the Gymnasium Syke, Germany, since 2013