| Name: | Robert Wille |
| Date of birth: | November 11th, 1982 |
| Nationality: | German |
| 2022 | Appointed Full and Distinguished Professor at the Technical University of Munich, Germany (appointed through a "Leuchtturm"-procedure, i.e., direct appointment and supported by the "Distinguished Professorship"-program providing 4.7 million Euros for five years) |
| 2022 | Successful application for a so-called COMET K1 Center for the Software Competence Center Hagenberg GmbH (supported with 22.7 million Euros for 4 years) |
| 2020 | Awarded an ERC Consolidator Grant "Design Automation for Quantum Computing" (providing 2 million Euros for five years) |
| 2020 | Appointed Chief Scientific Officer at the Software Competence Center Hagenberg GmbH (a company for technology transfer between academia and industry with more than 100 employees) |
| 2020 | 1st place in the "Vote Your Prof"-competition for exceptional performance in teaching |
| 2019 | Founding Head of the LIT Secure and Correct Systems Lab (an interdisciplinary research lab composing the expertise of ten institutes at the Johannes Kepler University; supported by the State of Upper Austria with 2.4 million Euros in its first four years) |
| 2019 | Under-40 Innovators Award from the Design Automation Conference (DAC) |
| 2018 | Google Faculty Research Award |
| 2018 | Winner of the IBM QISKit Developer Challenge |
| 2015 | Appointment to Full Professor (tenured) at the age of 32 |
| Several awards for scientific works such as Best Paper Awards (at TCAD, ICCAD, and FDL), 10-year Retrospective Most Influential Paper Award (at ASP-DAC), Best Research Demo Award (at ISVLSI), a Young Researchers Award (at ISMVL), as well as numerous further nominations | |
| Several awards won by students such as Best Dissertation Awards, Award of Excellence from the Austrian Ministry of Education, a KlarText Award from the Klaus Tschira Foundation, and many more. | |
| Numerous collaborations with industrial partners such as Infineon, IBM, Google, Atos, and many more. |
| Since 2022 | Full and Distinguished Professor at the Technical University of Munich, Germany (appointed through a "Leuchtturm"-procedure, i.e., direct appointment and supported by the "Distinguished Professorship"-program) |
| Since 2020 | Chief Scientific Officer at the Software Competence Center Hagenberg GmbH, Austria |
| 2019-2022 | Head of the "LIT Secure and Correct Systems Lab" (composing the expertise of over nine institutes) at the Johannes Kepler University Linz, Austria |
| 2015-2022 | Full Professor (W3-equivalent) at the Johannes Kepler University Linz, Austria |
| 2014 | HabilitationTitle: "Design of Circuits and Systems: Today and Tomorrow" (submitted in February 2014; hearing conducted in July 2014) |
| 2013-2014 | Visiting Professor at the Technical University Dresden, Germany |
| 2013-2022 | Senior Researcher at the German Research Center for Artificial Intelligence (DFKI), Bremen, Germany |
| 2012 | Visiting Professor at the University of Potsdam, Germany |
| 2010-2012 | Lecturer at the University of Applied Science, Bremen, Germany |
| 2009-2015 | Postdoc at the University of Bremen, Germany |
| 2009 | Dissertation Title: "Towards a Design Flow for Reversible Logic" Degree: Dr.-Ing. (Grade: summa cum laude) |
| 2006-2009 | Doctoral candidate (Scholarship Holder) at the "Graduate School Embedded Systems" at the University of Bremen, Germany |
| 2006 | Diploma thesis Title: "Building Free Binary Decision Diagrams Using SAT Solvers" (German: "Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern"; Grade: 1,0) Degree: Diploma (Grade: 1,0) |
|
|
Studies of computer science (Diploma) at the University of Bremen, Germany |
| 2014 | Habilitation, University of Bremen, Germany Topic: "Design of Circuits and Systems: Today and Tomorrow" |
| 2009 | Dr.-Ing. (summa cum laude), University of Bremen, Germany Advisor: Prof. Dr. Rolf Drechsler Thesis: "Towards a Design Flow for Reversible Logic" |
| 2006 | Diploma in Computer Science, University of Bremen, Germany Thesis: "Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern" ("Synthesis of Free Binary Decision Diagrams Using SAT Solvers") |
| 2002-2006 | Student of Computer Science, University of Bremen, Germany |
| 2006 | Student research assistant at the Group of Computer Architecture at the University of Bremen |
| 2004-2006 | Freelancer of Electronic Arts Germany, Cologne |
|
|
Student assistant at the University of Bremen for exercise courses on Technical Computer Science and Theoretical Computer Science |