Miscellaneous
Published Software
| 2010 | RevKit: Toolkit for reversible circuit design (available at www.revkit.org) |
| 2008 | SWORD: Satisfiability solver (SMT-solver) for the QF_BV-logic (available at informatik.uni-bremen.de/agra/eng/sword.php) |
| 2008 | RevLib: Online-database for benchmarks within the domain of reversible and quantum circuit design (available at www.revlib.org) |
Awards
| 2011 | Nominated for the "Berninghausen-Preis für hervorragende Lehre" |
| 2010 | "Best Paper Award" from the Forum on Specification and Design Languages (FDL) |
| 2010 | "Bremen Study Award" (for the dissertation) |
| 2010 | Finalist of the "Best Computer Science Thesis Award" 2009 by the German Informatics Society (GI), the Swiss Informatics Society (SI), the Austrian Computer Society (OCG), and the German Chapter of the ACM |
| 2010 | Nominated for the ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation |
| 2010 | Nominated for the EDAA Outstanding Dissertation Award |
| 2008 | "Young Researchers Award" from the IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
| 2001 | Highschool Award by the Mayor of the City of Gera |
Memberships in Professional Societies
| since 2007 | Gesellschaft für Informatik (German Computer Science Society) |
| since 2007 | Institute of Electrical and Electronics Engineers (IEEE) |
Further Activities
| since 2006 | Organization of high school trips to the University of Bremen |
| since 2006 | Organization of yearly soccer and poker tournaments in the Department of Mathematics and Computer Science at the University of Bremen |
| 2006-2009 | Involved in the organization of the yearly "Girls Day" at the University of Bremen |
| Involved in the organization of the yearly farewell to the students of the Department of Mathematics and Computer Science at the University of Bremen | |
| 2006 | Member of the Organization Committee in charge for the "Computer Science Night" in the context of the Year of Computer Science 2006 |
| 2004-2006 | Work in the students project "Satrix" considering research questions related to Boolean satisfiability |
| 2000-2007 | Management of an online portal |
| 1997-1999 | Press spokesman and board member at the canoe department of the TSV 1880 Zwoetzen Sports Club, Gera |
« 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