Teaching
Lectures at the University of Bremen
| Summer 2013 | Technical Computer Science I (together with Prof.Dr.R. Drechsler) |
| Summer 2012 | Technical Computer Science I (together with Prof.Dr.R. Drechsler) |
| Summer 2011 | Quantum Computing and Reversible Logic |
| Winter 2010/11 | Hardware-Software Co-Design |
| Summer 2010 | Quantum Computing and Reversible Logic |
| Summer 2010 | Technical Computer Science I (together with Prof.Dr.R. Drechsler) |
| Summer 2009 | Quantum Computing and Reversible Logic |
Lectures at the University of Potsdam
| Summer 2012 | Basics on Technical Computer Science II |
| Summer 2012 | Quantum Computing and Reversible Logic |
Lectures at the University of Applied Science, Bremen
| Winter 2011/12 | Computer Architecture |
| Winter 2010/11 | Computer Architecture |
Seminars at the University of Bremen
| Winter 2011/12 | Selected Chapters of Technical Computer Science |
| Winter 2010/11 | Selected Chapters of Technical Computer Science |
| Winter 2009/10 | Selected Chapters of Technical Computer Science |
| Summer 2009 | Selected Chapters of Technical Computer Science |
| Summer 2008 | Verification Methods |
Seminars at the University of Potsdam
| Summer 2012 | Selected Chapters of Technical Computer Science |
Student projects (duration 2 years) at the University of Bremen
| since 2011 | Students project "Chip4U" about system and hardware development (together with Prof. Dr. R. Drechsler and M. Soeken) |
| 2009-2011 | Students project "QBit" about quantum computing (together with Prof. Dr. R. Drechsler and M. Soeken) |
Exercise Courses at the University of Bremen
(as student assistant)
| Winter 2005/06 | Theoretical Computer Science I |
| Summer 2005 | Technical Computer Science I |
| Winter 2004/05 | Theoretical Computer Science I |
| Winter 2003/04 | Theoretical Computer Science I |
Advised Theses at the University of Bremen
| 2013 | Diploma thesis by Nils Przigoda entitled "Algorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im Entwurf" |
| 2012 | Bachelor thesis by Eugen Kuksa entitled "Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen" |
| 2012 | Master thesis by Bastian Blachetta entitled "SystemC-Synthese aus SysML-Modellen" |
| 2012 | Master thesis by Christoph Hilken entitled "Verifikation dynamischer Aspekte in SysML Modellen" |
| 2012 | Bachelor thesis by Eugen Kuksa entitled "Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen" |
| 2012 | Master thesis by Christian Otterstedt entitled "Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern" |
| 2012 | Diploma thesis by Eleonora Schönborn entitled "Optimierung der Synthese von reversiblen Schaltkreisen mit Hardwarebeschreibungssprachen" |
| 2012 | Diploma thesis by Julia Seiter entitled "Property Checking of Quantum Circuits" |
| 2011 | Bachelor thesis by Oliver Keszöcze entitled "Realization of Modular Exponentiation in Reversible Logic using automatic Design Methods" |
| 2011 | Diploma thesis by Norman Gülcü entitled "Einbetten irreversibler Funktionen mit Hilfe evolutionärer Algorithmen" |
| 2011 | Diploma thesis by Markus Möhrke entitled "Exakte Synthese von NAND-Schaltungen mit Erfüllbarkeitsbeweisern" |
| 2010 | Bachelor thesis by Bastian Blachetta entitled "Ausnutzung von Kanonizität in der Darstellung reversibler Schaltkreise" |
| 2010 | Bachelor thesis by Christian Otterstedt entitled "Synthese sequentieller reversibler Schaltkreise" |
| 2009 | Diploma thesis by Finn Haedicke entitled "Constraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-Beweisern" |
| 2008 | Diploma thesis by Mathias Soeken entitled "Vorverarbeitung von Erfüllbarkeitsproblemen auf der Wortebene" |
| 2008 | Diploma thesis by Florian Harjes entitled "Exakte Synthese von Multiplexerschaltkreisen" |
« 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