- Since 2005, participation and, since 2008, organization of several research projects funded by the BMBF, the BMWi, the DAAD, and the DFG as well as by the FFG, OeAD, and others
- This includes joint projects together with several partners from academia but also industry (including partners such Infineon, Google, IBM, AMD Saxony, Intel, ESS GmbH, ePhilos AG, Concept Engineering GmbH, Ferchau GmbH, gradient Systemintegration GmbH, NXP Semiconductors/Mentor Graphics, OneSpin Solutions GmbH, and Siemens AG)
- Member of the Preparation Team for the successful application of the University of Bremen to the third line of the "Exzellenzinitiative des Bundes und der Länder zur Förderung von Wissenschaft und Forschung an deutschen Hochschulen" in 2012
|
"Mapping Quantum Circuits to Dedicated Architectures Subject to Technological Constraints" Exchange project funded by the OeAD (Austrian Agency for International Cooperation in Education and Research) Cooperation with Prof. Indranil Sengupta | |
|
"Simulation of Quantum Computations: Passing through the Bottleneck by Dedicated Decision Diagrams" Research project funded by Google Inc. | |
|
"KI-Staging: Analyse von Produktbeschreibungen mit Hilfe natürlicher Sprachverarbeitung" Research project funded by the WFB (Wirtschaftsförderung Bremen) Cooperation with the ePhilos AG | |
|
"Development of CAD Tools for Synthesis, Optimization \& Verification of Digital Circuits using Memristors" Exchange project funded by the OeAD (Austrian Agency for International Cooperation in Education and Research) Cooperation with Prof. Kamalika Datta | |
|
"KI Suche: Entwicklung einer den Prinzipien der Künstlichen Intelligenz folgenden Suchmaschine" Research project funded by the WFB (Wirtschaftsförderung Bremen) Cooperation with the ePhilos AG | |
|
"Entwicklung eines modularen Frameworks für die automatische Validation und Verifikation von UML/OCL-Modellen" Research project funded by the DFG (German Research Foundation) Joint PI together with Prof. Martin Gogolla | |
|
"LAWCHECK: Automatische Formalisierung gesetzlicher Regularien mit Hilfe von Natural Language Processing Techniken" Research project funded by the BMWi (German Ministry of Economics and Technology) Cooperation with the gradient Systemintegration GmbH | |
|
"VisES: Visualisierungstechnologien für komplexe Systembeschreibungen zur Verbesserung der Sicherheit und Robustheit elektronischer Systeme" Research project funded by the BMBF (German Ministry of Education and Research) Joint PI together with Prof. Rolf Drechsler Cooperation with the Concept Engineering GmbH |
|
"SoC Optimization including hardware and firmware using machine learning techniques" Cooperation with Infineon | |
|
"Pushing particle based methods towards industrial applicability (PISA)" Research project funded by the FFG (Austrian Research Promotion Agency) Cooperation with the ESS GmbH | |
|
"SELFIE: Self-Verification of Electronic Systems" Research project funded by the BMBF (German Ministry of Education and Research) | |
|
"Reversible computation - extending horizons of computing" Exchange project (ICT COST Action IC1405) funded by the European Union Member of the Management Committee | |
|
"SPECifIC: Quality-driven Design Flow using Formal Specifications and Functional Change Management" Research project funded by the BMBF (German Ministry of Education and Research) | |
|
"Verwendung von reversibler Logik zum Bau von Low-Power Schaltungen" Exchange project funded by the DAAD (German Academic Exchange Service) Cooperation with Prof. Kaushik Roy | |
|
"Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf" Reinhart Koselleck-Project funded by the DFG (German Research Foundation) | |
|
"Synthese und Optimierung von Quantenlogik" Exchange project funded by the DAAD (German Academic Exchange Service) Cooperation with Prof. Michael D. Miller | |
|
"Erreichbarkeitsanalyse unter Verwendung von Wortebenen-Beweisern" Exchange project funded by the DAAD (German Academic Exchange Service) Cooperation with Prof. Andreas Veneris | |
|
"Qualitätsorientierte Synthese großer Funktionen in reversibler Logik" Research project funded by the DFG (German Research Foundation) | |
|
"Synthese zuverlässiger Quantenschaltkreise" Exchange project funded by the DAAD (German Academic Exchange Service) Cooperation with Prof. Gerhard W. Dueck |
|
Exzellenzinitiative des Bundes und der Länder zur Förderung von Wissenschaft und Forschung an deutschen Hochschulen Member of the Preparation Team for the University of Bremen | |
|
"Uranos: Analysemethoden für den Entwurf anwendungsrobuster nanoelektronischer Systeme" Research project funded by the BMBF (German Ministry of Education and Research) Cooperation with AMD Saxony | |
|
"Herkules: Hardwareentwurfstechnik für Null-Fehler-Designs" Research project funded by the BMBF (German Ministry of Education and Research) Cooperation with the Concept Engineering GmbH | |
|
"Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern" Research project funded by the DFG (German Research Foundation) Cooperation with NXP Semiconductors/Mentor Graphics | |
|
"Hierarchische und sequentielle Informationen für Erfüllbarkeitsbeweise im computergestützten Schaltkreisentwurf" Exchange project funded by the DAAD (German Academic Exchange Service) Cooperation with Prof. Andreas Veneris | |
|
"Boolean Function Manipulation Based on Hybrid Data Structures" Exchange project funded by the DAAD (German Academic Exchange Service) Cooperation with Prof. Joao Marques-Silva | |
|
"MAYA: Neue Methoden für den Massiv-Parallel-Test im Hochvolumen, Yield Learning und beste Testqualität" Research project funded by the BMBF (German Ministry of Education and Research) Cooperation with NXP Semiconductors/Mentor Graphics | |
|
"Effiziente Methoden zum Debugging von Schaltungen und Systemen" Exchange project funded by the DAAD (German Academic Exchange Service) Cooperation with Prof. Andreas Veneris | |
|
"Implementing Modules and ECTS for Computer Studies" Research project funded by the European Union |
|
Organization and acquisition of scholarships within the "Graduate School Embedded Systems" at the University of Bremen Cooperation e.g. with the Siemens AG and the OneSpin Solutions GmbH | |
|
Scholarship Holder at the "Graduate School Embedded Systems" at the University of Bremen Funded by NXP Semiconductors |
| "Computer Design 4 Kids" - Project within the "Bremen macht Helden"-Initiative of the Sparkasse Bremen | |
|
Sponsoring of events at the University of Bremen Cooperation with the Ferchau GmbH | |
| Acquisition of a Working Internship in Science and Engineering (WISE) with India | |
| Acquisition of a three-month scholarship to additionally support international students in teaching | |
| Acquisition of various travel funding for participation at conferences from the DFG (German Research Foundation), the DAAD (German Academic Exchange Service), and others |