Projects
- Since 2005, participation and, since 2008, organization of several research projects funded by the BMBF, the BMWi, the DAAD, the DFG, and others
- This includes joint projects together with partners from academia (e.g. Prof. Gerhard Dueck, Prof. Michael D. Miller, Prof. Kaushik Roy, Prof. Joao Marques-Silva, Prof. Andreas Veneris) and industry (e.g. AMD Saxony, Concept Engineering GmbH, Ferchau GmbH, NXP Semiconductors/Mentor Graphics, OneSpin Solutions GmbH, Siemens AG)
- Member of the Preparation Team for the 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"
| "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 GmbH | |
| "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 | |
| "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) Cooperation with the Concept Engineering GmbH | |
| "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 |
| 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 |
« Home |
University of Bremen |
Faculty 3
My Office
 |
 |
| Building MZH | Room 3485 |
University of Bremen | Faculty 3
Dr. Robert Wille
Bibliothekstraße 1
28359 Bremen
Tel: (421) 63947
Fax: (421) 98-63947
rwille@informatik.uni-bremen.de
Dr. Robert Wille
Bibliothekstraße 1
28359 Bremen
Tel: (421) 63947
Fax: (421) 98-63947
rwille@informatik.uni-bremen.de