Go to: Bio  Curriculum Vitae  Publications  Professional Service  Awards

Bio

Robert Wille is a Full and Distinguished Professor at the Technical University of Munich, Germany, and Chief Scientific Officer at the Software Competence Center Hagenberg GmbH, Austria.

From 2002 to 2006, Robert Wille studied Computer Science (Diploma) at the University of Bremen. After successfully completing his doctorate in 2009 (summa cum laude), he worked as postdoc at the University of Bremen and, since 2013, as Senior Researcher in the Cyber-Physical Systems department of the German Research Center for Artificial Intelligence (DFKI). Besides that, he served as lecturer at the University of Applied Science Bremen from 2010 to 2012 and was guest professor at the University of Potsdam in 2012 as well as the Technical University of Dresden in 2013/2014. From 2015 to 2022, he was Full Professor at the Johannes Kepler University Linz and head of the Institute for Integrated Circuits (at the age of 32 and as one of the youngest full professors in the field). In 2019, he founded the LIT Secure and Correct Systems Lab at JKU and, in 2020, he additionally became Chief Scientific Officer at the Software Competence Center Hagenberg GmbH. Since 2022, he works in Munich—appointed through a “Leuchtturm”-procedure (i.e., direct appointment) and, additionally, through the “Distinguished Professorship”-program.

Robert Wille’s expertise covers a broad spectrum of topics with a particular focus on the development of automatic methods for the design, simulation, verification, and test of complex systems in hard- and software. He considers conventional technologies (from formal specifications to the realization) as well as future technologies (including quantum computing, microfluidic biochips, field-coupled nanotechnologies, optical circuits, memristors, reversible circuits, and adiabatic circuits).

Besides that, he frequently applies his expertise to complementary fields in cooperation with groups from other areas of Computer Science (e.g., Machine Learning, Software Development, Theoretical Computer Science, Database Systems, Operation Systems, and more) as well as Mechatronics and Electrical Engineering. Furthermore, his work on future technologies frequently exposes him to topics from physics, biology, chemistry, and optics. Also projects with legal sciences are within his portfolio.

Since 2007, Robert Wille published more than 400 journal and conference papers in this area and was repeatedly awarded (e.g., with Best Paper Awards, e.g., at TCAD and ICCAD, an ERC Consolidator Grant, a Distinguished Professor appointment, a Google Research Award, and more). Besides that, he served as Associate Editor and Guest Editor for various renowned journals such as the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), the ACM Journal on Emerging Technologies in Computing Systems (JETC), or Springer’s Lecture Notes in Computer Science (LNCS).

Additionally, he was General Chair and PC Chair for several conferences, is Executive Committee Member for DATE and ICCAD, served in numerous Program Committees, and organized several tutorials, seminars, workshops, and special sessions.

Back to top ↑

Curriculum Vitae

Personal Data

Nationality	German
Date of birth	November 11th, 1982
Home Address	Teerhof 48 28199 Bremen, Germany +49 176 23 44 09 64 mail@rwille.de
Office Address	Technical University of Munich Chair for Design Automation Arcisstraße 21 80333 Munich, Germany +49 176 23 44 09 64 robert.wille@tum.de
Languages	German (native) English (fluent)

Highlights

• Full and Distinguished Professor at the Technical University of Munich (appointed through a “Leuchtturm” procedure and supported by the Distinguished Professorship program providing 4.7 million Euros for five years)
• Co-Founder and CEO of the Munich Quantum Software Company (MQSC), Germany
• Successful application for a so-called COMET K1 Center for the Software Competence Center Hagenberg GmbH (supported with 22.7 million Euros for four years)
• Awarded an ERC Consolidator Grant “Design Automation for Quantum Computing” (providing 2 million Euros for five years)
• Former Chief Scientific Officer and current Scientific Director at the Software Competence Center Hagenberg GmbH (a technology transfer company with 130+ employees)
• Founding Head of the LIT Secure and Correct Systems Lab at the Johannes Kepler University Linz (interdisciplinary lab composing the expertise of over ten institutes)
• First appointment to Full Professor (tenured) at age 32
• Participation and leadership in numerous research projects and strong international network with partners from academia and industry
• Numerous collaborations with industrial partners such as Infineon, Google, IBM, Sony AI, Intel, Fujitsu, AWS, Eviden, Fraunhofer, Max Planck, and many more
• Numerous keynotes, invited talks, seminars, etc.
• Core Member of the Munich Quantum Valley
• Initiator of major open-source toolkits (with millions of downloads and hundreds of stars at GitHub):
  • Munich Quantum Toolkit (MQT)
  • Munich Nanotech Toolkit (MNT)
  • Munich Microfluidics Toolkit (MMFT)
  • Munich Train Control Toolkit (MTCT)
• Strong commitment to teaching in undergraduate programs (e.g., through a first semester course with more than 1000 students) as well as graduate programs (applying the concept of research-based learning)
• Leading positions in numerous conferences and journals such as General Chair, Program Chair, Associate Editor, etc. including Europe’s largest conference in the domain of Design Automation (DATE), its premium international conference (ICCAD), and numerous further ones
• Member of multiple Steering Committees, advisory boards, and national/international research committees shaping the research landscape in Germany and abroad as well as advising companies worldwide
• Member of numerous Technical Program Committees of conferences
• Strong commitment to academic self-governance, e.g., as member of numerous Appointment/Promotion Committees, Study Committees, and further committees at various universities and, in particular, currently through my position as Vice Dean for Research and Innovation at the School of Computation, Information and Technology (a school composed of over 160 chairs/institutes)
• Awarded across all categories of professional work including
  • research (multiple Best Paper Awards, Most Influential Paper Award, Best Research Demo Awards, Under-40 Innovators Award, Google Faculty Research Award, Young Researchers Award, etc.),
  • teaching (1st Place in Vote the Prof at the Johannes Kepler University of Linz, two TeachInf Awards for Computer Science and one Lecturer Award for Electrical Engineering from the Technical University of Munich), as well as
  • professional service (ACM SIGDA Meritorious Service Award)
• Numerous 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

For an overview of our work over the past three years at the Technical University of Munich, please see our Three-Year Annual Report.

Career Path

since 2025	Founder and CEO of the Munich Quantum Software Company (MQSC), Germany
since 2025	Scientific Director for Quantum Computing of the Software Competence Center Hagenberg GmbH (SCCH), Austria
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)
2020-2025	Chief Scientific Officer of the Software Competence Center Hagenberg GmbH (SCCH), Austria
2019-2022	Head of the “LIT Secure and Correct Systems Lab” (composing the expertise of over ten institutes) at the Johannes Kepler University Linz, Austria
2015-2022	Full Professor at the Johannes Kepler University Linz, Austria
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 Sciences, Bremen, Germany
2009-2015	Postdoc at the University of Bremen, Germany
2006-2009	Doctoral candidate (Scholarship Holder) at the “Graduate School Embedded Systems”, University of Bremen, Germany

Scientific Education

2014	Habilitation Title: “Design of Circuits and Systems: Today and Tomorrow“
2009	Dissertation Title: “Towards a Design Flow for Reversible Logic“ Degree: Dr.-Ing. (Grade: summa cum laude) Awarded the “Bremer Studienpreis” (Bremen Study Award) and finalist of the “GI-Dissertationspreis” (thesis award of the German Informatics Society)
2006	Diploma thesis Title: “Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern“ (English: “Building Free Binary Decision Diagrams Using SAT Solvers”; Grade: 1,0) Degree: Diploma (Grade: 1,0)
2002-2006	Student of computer science (Diploma) at the University of Bremen, Germany

School Education and Civilian Service

2001- 2002	Civilian Service at the CJD Berufsbildungswerk Gera e.V., Germany
1993- 2001	“Georg-Christoph Lichtenberg” Gymnasium (Secondary School), Gera, Germany Degree: Abitur (High School Diploma; Grade: 1,5)
1989- 1993	Elementary School, Gera, German

Further Work Experience

2003-2006	Student assistant at the University of Bremen for exercise courses on Technical Computer Science and Theoretical Computer Science
2004-2006	Freelancer of Electronic Arts Germany, Cologne
2006	Student assistant at the Group of Computer Architecture at the University of Bremen

Back to top ↑

Publications

Back to top ↑

Professional Service

Organization of Conferences, Workshops, etc.

2026	Vice General Chair and Executive Committee Member for the Design, Automation & Test in Europe (DATE)
2025	General Chair and Executive Committee Member for the International Conference on Computer-Aided Design (ICCAD)
2025	Workshop Chair and Member of the Organizing Committee for the IEEE International Conference on Quantum Computing and Engineering (QCE)
2024-2025	Chair of the European Design and Automation Association (EDAA, the organization responsible for the Design, Automation & Test in Europe, DATE)
2024	Workshop Chair and Member of the Organizing Committee for the IEEE International Conference on Quantum Computing and Engineering (QCE)
2024	Program Chair and Executive Committee Member for the International Conference on Computer-Aided Design (ICCAD)
2023	Program Chair and Executive Committee Member for the Design, Automation & Test in Europe (DATE)
2023	Vice Program Chair and Executive Committee Member for the International Conference on Computer-Aided Design (ICCAD)
since 2023	Founder and Organizer of the Munich Quantum Software Forum (MQSF)
2022	Vice Program Chair and Executive Committee Member for the Design, Automation & Test in Europe (DATE)
2022	Special Session/Tutorial Chair and Executive Committee Member for the International Conference on Computer-Aided Design (ICCAD)
2022	PhD Forum Chair of the Design Automation Conference (DAC)
2022-2023	Vice Chair of the European Design and Automation Association (EDAA, the organization responsible for the Design, Automation & Test in Europe, DATE)
2021	Workshop Chair and Executive Committee Member for the International Conference on Computer-Aided Design (ICCAD)
2021	Track Chair for the International Conference on Computer-Aided Design (ICCAD) (for “3.2 Nanoscale and Post-CMOS Systems”)
2021	Topic Chair for the Design, Automation and Test in Europe (DATE) (for “Applications of Emerging Technologies”)
2021	Track Chair for the Asia and South Pacific Design Automation Conference (ASP-DAC) (for “Emerging Technologies and Applications”)
2020	Track Chair for the International Conference on Computer-Aided Design (ICCAD) (for “4.2 Nanoscale and Post-CMOS Systems”)
2020	Topic Chair for the Design, Automation and Test in Europe (DATE) (for “Applications of Emerging Technologies”)
2020	Track Chair for the Asia and South Pacific Design Automation Conference (ASP-DAC) (for “Emerging Technologies and Applications”)
2019-2021	PhD Forum Chair of the Design, Automation & Test in Europe (DATE)
2019-2020	Co-Chair of the ACM Student Research Competition at ICCAD
2018-2022	Executive Committee Member of the Design, Automation & Test in Europe (DATE)
2018	General Chair of the International Symposium on Multiple-Valued Logic (ISMVL)
2018	General Chair of the International Workshop on Logic & Synthesis (IWLS)
2018	Special Day Chair of the Design, Automation & Test in Europe (DATE)
2018-2019	TC Chair of the IEEE Multiple-Valued Logic Technical Committee
2017	Program Chair for the International Workshop on Logic & Synthesis (IWLS)
2017	Publication Chair and Member of the Organizing Committee for the International Summer Simulation Multi-Conference (SummerSim’17)
2017	Organizer of the NII Shonan Meeting on “Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering”
2016	Publicity Chair and Member of the Organizing Committee for the International High-Level Design Validation and Test Workshop (HLDVT)
2016	Vice Chair of the Multiple-Valued Logic Technical Committee of the IEEE Computer Society
2016	General Chair of the Forum on specification & Design Languages (FDL)
2016	Program Chair for the International Symposium on Multiple-Valued Logic (ISMVL)
2016	Special Sessions Co-Chair at the International Workshop on Logic & Synthesis (IWLS)
2016	Publicity Chair and Member of the Organizing Committee for the International Conference on VLSI Design and the International Conference on Embedded Systems
2015	Program Chair for the Forum on specification & Design Languages (FDL)
2015	Track Chair for the Asia and South Pacific Design Automation Conference (ASP-DAC) (for “Logic/Behavioral/High-Level Synthesis and Optimization”)
2015	Organizer of the Dagstuhl Seminar on “Design of Microfluidic Biochips: Connecting Algorithms and Foundations of Chip Design to Biochemistry and the Life Sciences”
2014	Program Chair for the International Symposium on Multiple-Valued Logic (ISMVL)
2014	Track Chair for the Asia and South Pacific Design Automation Conference (ASP-DAC) (for “High-Level/Behavioral/Logic: Synthesis and Optimization”)
2012	Publicity Chair and Member of the Organizing Committee at the International Symposium on Multiple-Valued Logic (ISMVL)
2011	Program Chair for the Workshop on Reversible Computation (RC)
2011	Organizer of the Dagstuhl Seminar on “Design of Reversible and Quantum Circuits”
2010	Organizer of the Workshop on Reversible Computation (RC)
2009-2012	Member at Large of the IEEE Multiple-Valued Logic Technical Committee

Associate Editor

since 2022	IEEE Design & Test
since 2018	Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)
since 2018	Integration, the VLSI journal

PC Member

2026	Technical Papers Program Chair and Member of the Organizing Committee for the IEEE International Conference on Quantum Computing and Engineering (QCE)
2026	IEEE International Conference on Quantum Software (QSW)
2026	Technical Program Committee for the International Workshop on Logic & Synthesis (IWLS)
2026	Design, Automation and Test in Europe (DATE)
2026	International Workshop on Quantum Software-Engineering Tools, Algorithms and Verification (Q-STAV)
2026	International Workshop on Quantum Software Engineering (Q-SE)
2025	IEEE International Conference on Quantum Computing (QCE)
2025	Workshop on Quantum Software (WQS)
2025	International Symposium on Multiple-Valued Logic (ISMVL)
2025	International Workshop on Logic and Synthesis (IWLS)
2025	International Workshop on Quantum Software Engineering (Q-SE)
2025	IEEE International Conference on Quantum Software (QSW)
2025	International Conference on Reversible Computation (RC)
2025	Design, Automation and Test in Europe (DATE)
2025	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
2025	Quantum Software Engineering MeetUp (QSE)
2024	Design, Automation and Test in Europe (DATE)
2024	IEEE International Conference on Quantum Computing (QCE)
2024	IEEE International Conference on Quantum Software (QSW)
2024	International Conference on Reversible Computation (RC)
2024	International Workshop on Logic and Synthesis (IWLS)
2024	Workshop on Quantum Software (WQS)
2024	International Symposium on Multiple-Valued Logic (ISMVL)
2024	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
2023	IEEE International Conference on Quantum Computing (QCE)
2023	IEEE International Conference on Quantum Software (QSW)
2023	International Workshop on Logic and Synthesis (IWLS)
2023	International Conference on Computer Design (ICCD)
2023	Design, Automation and Test in Europe (DATE)
2023	International Conference on Reversible Computation (RC)
2023	Euromicro Conference on Digital System Design (DSD)
2023	International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
2023	Asia and South Pacific Design Automation Conference (ASP-DAC)
2022	International Workshop on Boolean Problems (IWSBP)
2022	International Conference on Computer Design (ICCD)
2022	IEEE International Conference on Quantum Computing (QCE)
2022	Computing Frontiers Conference (CF)
2022	Workshop on Intelligent Methods for Test and Reliability (IMTR)
2022	IEEE International Conference on Quantum Software (QSW)
2022	International Workshop on Logic and Synthesis (IWLS)
2022	International Conference on Reversible Computation (RC)
2022	European Test Symposium (ETS)
2022	GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
2022	Workshop on Quantum Software Architecture (QSA)
2022	International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
2022	Asia and South Pacific Design Automation Conference (ASP-DAC)
2021	IEEE International Conference on Quantum Computing (QCE)
2021	IEEE International Conference on Rebooting Computing (ICRC)
2021	International Conference on Computer Design (ICCD)
2021	International Conference on Computer-Aided Design (ICCAD)
2021	International Workshop on Logic and Synthesis (IWLS)
2021	International Conference on Very Large Scale Integration (VLSI SoC)
2021	Euromicro Conference on Digital System Design (DSD)
2021	International Workshop on Quantum Software Engineering (Q-SE)
2021	Computing Frontiers Conference (CF)
2021	Reed Muller Workshop
2021	International Conference on Reversible Computation (RC)
2021	International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
2021	International Symposium on Multiple-Valued Logic (ISMVL)
2021	GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
2021	Design, Automation and Test in Europe (DATE)
2021	Asia and South Pacific Design Automation Conference (ASP-DAC)
2020	International Symposium on VLSI Design and Test (VDAT)
2020	International Conference on Computer-Aided Design (ICCAD)
2020	International Conference on Computer Design (ICCD)
2020	International Workshop on Boolean Problems (IWSBP)
2020	International Workshop on Logic and Synthesis (IWLS)
2020	International Symposium on Devices, Circuits and Systems (ISDCS)
2020	International Conference on Very Large Scale Integration (VLSI SoC)
2020	International Supercomputing Conference (ISC)
2020	International Conference on Reversible Computation (RC)
2020	International Symposium on Multiple-Valued Logic (ISMVL)
2020	Design, Automation and Test in Europe (DATE)
2020	GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
2020	Asia and South Pacific Design Automation Conference (ASP-DAC)
2019	International Conference on Computer-Aided Design (ICCAD)
2019	Tutorials and Special Sessions at ICCAD
2019	International Symposium on VLSI Design and Test (VDAT)
2019	Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI)
2019	International Conference on Very Large Scale Integration (VLSI-SOC)
2019	Workshop on Logic and Synthesis (IWLS)
2019	Euromicro Conference on Digital System Design (DSD)
2019	International Conference on Reversible Computation (RC)
2019	International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
2019	Design, Automation and Test in Europe (DATE)
2019	International Symposium on Multiple-Valued Logic (ISMVL)
2019	Reed Muller Workshop (RM)
2019	GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
2018	ACM Student Research Competition at ICCAD
2018	Tutorials and Special Sessions at ICCAD
2018	Austrian Workshop on Microelectronics (Austrochip)
2018	International Conference on Very Large Scale Integration (VLSI-SOC)
2018	International Symposium on Devices, Circuits and Systems (ISDCS)
2018	International Symposium on VLSI Design and Test (VDAT)
2018	Design Automation Conference (DAC)
2018	International Conference on Reversible Computation (RC)
2018	Design, Automation and Test in Europe (DATE)
2018	Genetic and Evolutionary Computation Conference (GECCO)
2018	International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
2018	Euromicro Conference on Digital System Design (DSD)
2018	International Conference on VLSI Design (VLSID 2018)
2018	Conference on Algorithms and Applications (ALAP)
2018	Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI)
2018	International Workshop on Boolean Problems (IWBP)
2018	GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
2017	ACM Student Research Competition at ICCAD
2017	International Symposium on Embedded Computing and System Design (ISED)
2017	Austrian Workshop on Microelectronics (Austrochip)
2017	International High-Level Design Validation and Test Workshop (HLDVT)
2017	International Symposium on VLSI Design and Test (VDAT)
2017	Workshop on Advances in IoT Architecture and Systems (AIoTAS)
2017	International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS)
2017	Summer Computer Simulation Conference (SCSC)
2017	IEEE International High-Level Design Validation and Test Workshop (HDLVT)
2017	Great Lakes Symposium on VLSI (GLSVLSI)
2017	Reed-Muller Workshop
2017	Summer Computer Simulation Conference (SCSC)
2017	Genetic and Evolutionary Computation Conference (GECCO)
2017	Design Automation Conference (DAC)
2017	International Conference on Reversible Computation (RC)
2017	International Symposium on Multiple-Valued Logic (ISMVL)
2017	GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
2016	International High-Level Design Validation and Test Workshop (HLDVT)
2016	ACM Student Research Competition at ICCAD
2016	Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI)
2016	Summer Computer Simulation Conference (SCSC)
2016	International Workshop on Boolean Problems (IWBP)
2016	International Symposium on Embedded Computing and System Design (ISED)
2016	Workshop on Logic and Synthesis (IWLS)
2016	International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS)
2016	Summer Simulation Multi-Conference (SummerSim 2016)
2016	International Conference on Advances in System Testing and Validation Lifecycle (VALID)
2016	The International Symposium on Modeling and Optimization (MODOPT)
2016	Design Automation Conference (DAC)
2016	International Symposium on Multiple-Valued Logic (ISMVL)
2016	Conference on Reversible Computation (RC)
2016	PhD Forum at DATE
2016	Genetic and Evolutionary Computation Conference (GECCO)
2015	International Symposium on Electronic System Design (ISED)
2015	International Conference on Computer-Aided Design (ICCAD)
2015	ACM Student Research Competition at ICCAD
2015	International Workshop on Constraints in Formal Verification (CFV)
2015	International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS)
2015	Summer Simulation Multi-Conference (SummerSim)
2015	Forum on Specification and Design Languages (FDL)
2015	Conference on Reversible Computation (RC)
2015	International Symposium on Multiple-Valued Logic (ISMVL)
2015	Genetic and Evolutionary Computation Conference (GECCO)
2015	PhD Forum at DATE
2015	Asia and South Pacific Design Automation Conference (ASP-DAC)
2015	International Conference on VLSI Design (VLSI Design)
2015	GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
2014	International Symposium on Electronic System Design (ISED)
2014	International Conference on Computer-Aided Design (ICCAD)
2014	ACM Student Research Competition at ICCAD
2014	International Workshop on Boolean Problems (IWSBP)
2014	Conference on Reversible Computation (RC)
2014	International Symposium on Multiple-Valued Logic (ISMVL)
2014	GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
2014	Genetic and Evolutionary Computation Conference (GECCO)
2014	Asia and South Pacific Design Automation Conference (ASP-DAC)
2014	International Conference on VLSI Design (VLSI Design)
2013	International Conference on Computer-Aided Design (ICCAD)
2013	Conference on Reversible Computation (RC)
2013	International Symposium on Multiple-Valued Logic (ISMVL)
2013	Genetic and Evolutionary Computation Conference (GECCO)
2013	Asia and South Pacific Design Automation Conference (ASP-DAC)
2012	Workshop on Reversible Computation (RC)
2012	International Symposium on Multiple-Valued Logic (ISMVL)
2012	Genetic and Evolutionary Computation Conference (GECCO)
2012	Asia and South Pacific Design Automation Conference (ASP-DAC)
2011	Workshop on Reversible Computation (RC)
2011	Genetic and Evolutionary Computation Conference (GECCO)
2010	Workshop on Reversible Computation (RC)
2010	Genetic and Evolutionary Computation Conference (GECCO)
2009	Genetic and Evolutionary Computation Conference (GECCO)
2008	International Workshop on Boolean Problems (IWSBP)

Jury Member

2025	ACM SIGDA Outstanding PhD Dissertation Award (OPDA)
2022	Grand Finals of the ACM Student Research Competition (SRC)
2021	Grand Finals of the ACM Student Research Competition (SRC)
2021	EDAA PhD Outstanding Dissertation Award
2019	Chair of the Selection Committee for the ICCAD Ten Year Retrospective Most Influential Paper Award
2019	ACM India Doctoral Dissertation Award
2018	ACM India Doctoral Dissertation Award
2017	ACM India Doctoral Dissertation Award
2016	ACM India Doctoral Dissertation Award
2013	Best Paper Award Committee: Asia and South Pacific Design Automation Conference (ASP-DAC)

Miscellaneous

since 2022	Member of the IFIP Working Group on Foundations of Quantum Computation
since 2022	Future Panel Upper Austria — a think tank for the Upper Austrian government
since 2022	Deputy Speaker of the Working Group Quantencomputing of the German Informatics Society
since 2021	Member of the Advisory Board of the Initiative Quantencomputing by the German Aerospace Center
since 2021	Member of the Advisory Board of https://www.classiq.io/ (a startup working on software for quantum computing)
2021	Member of the Concept Group for the “University of Technology for Digitalisation and Digital Transformation in Upper Austria”
2018-2019	TC Chair of the IEEE Multiple-Valued Logic Technical Committee
2009-2012	Member at Large of the IEEE Multiple-Valued Logic Technical Committee
2009	Involved in the organization of the Dagstuhl Seminar “Algorithms and Applications for Next Generation SAT Solvers” (organized by Prof. Dr. Bernd Becker, Prof. Valeria Bertacco, Prof. Dr. Rolf Drechsler, and Prof. Masahiro Fujita)
2009	Involved in the organization of the 21. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) (organized by Prof. Dr. R. Drechsler)

Service at Universities

Continuously	Member of numerous Appointment/Promotion Committees, Study Committees, and further committees at various universities
since 2022	Vice Dean for Research and Innovation and Member of the Executive Board of the School of Computation, Information and Technology at the Technical University of Munich
since 2018	Deputy Speaker of the Department of Computer Science at the Johannes Kepler University Linz
since 2018	Member of the Study Commission for Computer Science at the Johannes Kepler University Linz
2011-2012	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
2009-2015	Scientific communication in the Group of Computer Architecture (semi-annual newsletters, press releases, etc.)
2007-…	Member and Deputy Member of various appointment committees and postdoctoral lecture qualification committees in several universities
2007-2014	Member of the Faculty Council of the Department of Mathematics and Computer Science at the University of Bremen
2005-2006	Member of the Student Representation for Computer Science at the University of Bremen
2005-2006	Member of the Computer Science Committee at the University of Bremen

Back to top ↑

Awards

Research Awards and Nominations

2025	Best Student Paper Award (1st Place) at the IEEE International Conference on Intelligent Transportation Systems (ITSC)
2025	Best Paper Award (2nd Place) at the IEEE International Conference on Quantum Computing and Engineering (QCE)
2025	Best Student Paper Award at the IEEE International Conference on Nanotechnology (IEEE NANO)
2025	Candidate for the Best Paper Award at the IEEE CASS Latin American Symposium on Circuits and Systems (LASCAS)
2025	10-year Retrospective Most Influential Paper Award from the Asia and South Pacific Design Automation Conference (ASP-DAC) 2015
2024	Best Paper Award (3rd Place) from the IEEE International Conference on Quantum Computing and Engineering (QCE)
2024	Best Student Paper Award from the IEEE International Conference on Quantum Software (QSW)
2023	Candidate for the Best Paper Award at the International Workshop on Logic Synthesis (IWLS)
2023	Best Student Paper Award at the International Conference on VLSI Design (VLSI Design)
2023	Candidate for the Best Paper Award at the Asia and South Pacific Design Automation Conference (ASP-DAC)
2022	Candidate for the Best Paper Award at the Design, Automation and Test in Europe (DATE) conference
2022	10-year Retrospective Most Influential Paper Award from the Asia and South Pacific Design Automation Conference (ASP-DAC)
2021	Runner up for the Applied NISQ Computing Paper Award at the Q2B Conference
2021	Candidate for the Best Paper Award at the Design, Automation and Test in Europe (DATE) conference
2021	Candidate for the Best Paper Award at the Asia and South Pacific Design Automation Conference (ASP-DAC)
2020	ERC Consolidator Grant
2020	Candidate for the Best Paper Award from the Workshop on Machine Learning for CAD (MLCAD)
2020	Best Paper Award from the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
2020	Candidate for the Best Paper Award at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
2019	Candidate for the Best Paper Award at the International Conference on Computer Aided Design (ICCAD)
2019	3rd Place in the IBM Quantum Challenge
2019	Best Research Demo Award at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
2019	Under-40 Innovators Award
2019	Candidate for the Best Paper Award at the Design, Automation and Test in Europe (DATE) conference
2019	Candidate for the Best Paper Award at the Asia and South Pacific Design Automation Conference (ASP-DAC)
2018	Winner of the IBM Qiskit Developer Challenge
2018	Google Research Award
2017	Candidate for the Best Paper Award at the High Performance Extreme Computing Conference (HPEC)
2014	Candidate for the Best Paper Award at the Forum on Specification and Design Languages (FDL)
2014	Candidate for the Best Paper Award at the Asia and South Pacific Design Automation Conference (ASP-DAC)
2013	Best Paper Award from the International Conference on Computer Aided Design (ICCAD)
2010	Best Paper Award from the Forum on Specification and Design Languages (FDL)
2010	Bremen Study Award (for the dissertation)
2010	Finalist at 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	Finalist at the ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation
2010	Finalist at the EDAA Outstanding Dissertation Award
2008	Young Researchers Award from the IEEE International Symposium

Teaching Awards

2024	TeachInf Award for the best mandatory Computer Science lecture in the winter semester 2023/2024 at the Technical University of Munich
2023	TeachInf Award for the best mandatory Computer Science lecture in the winter semester 2022/2023 at the Technical University of Munich
2023	Lecturer Prize for the best lecture in Electrical Engineering and Information Technology in the winter semester 2022/2023 at the Technical University of Munich
2020	Vote Your Prof by 1st Place awarded to Robert Wille for exceptional performance in teaching at the Johannes Kepler University
2015	Nominated for the Berninghausen Award for Excellence in Teaching at the University of Bremen

Service Award

2023	ACM SIGDA Meritorious Service Award

Awards to Ph.D. Students

2025	Student Design Competition Winner at the IEEE International Conference on Nanotechnology (IEEE NANO) awarded to Jan Drewniok
2025	P.O. Pistilli DAC Ambassador Award awarded to Laura S. Herzog at the Design Automation Conference (DAC) 2025
2025	2nd Place Achievement at the 13th NYUAD International Hackathon for Social Good for the team mentored by Nils Quetschlich
2025	EDAA Outstanding Dissertation Award given by the European Design and Automation Association (EDAA) awarded to Lukas Burgholzer
2025	Best Poster Award for the PhD Forum presentation at the Design, Automation and Test in Europe (DATE) conference awarded to Jan Drewniok
2024	Best Poster Award from the US Quantum Information Science Summer School 2024 awarded to Kevin Mato
2024	Best Presentation Award from the IEEE International Conference on Nanotechnology (IEEE NANO) awarded to Marcel Walter
2024	Best Poster Award from the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS) awarded to Max Sponner
2024	Unitary Fund Grant awarded to Kevin Mato
2024	ACM SIGDA Outstanding PhD Dissertation Award given by the ACM Special Interest Group on Design Automation (SIGDA) awarded to Lukas Burgholzer
2024	Heinz Zemanek Award given by the Austrian Computer Society (OCG) awarded to Lukas Burgholzer
2024	Best Poster Award from the Design, Automation and Test in Europe (DATE) conference awarded to Lukas Burgholzer
2023	Audience Choice Award for the team working on early detection of Alzheimer’s disease co-mentored by Stefan Hillmich
2023	Best Poster Award for Sarah Seifi
2022	DAC Young Fellow Best Video Award awarded to Stefan Hillmich
2022	Promotio sub auspiciis Praesidentis rei publicae (Award from the President of Austria) awarded to Alwin Zulehner
2022	JKU Early Research Achievement Award awarded to Lukas Burgholzer
2021	JKU Early Research Achievement Award awarded to Kevin Verma
2020	Best Poster Award for the PhD Forum presentation at the Design Automation Conference (DAC) awarded to Stefan Hillmich
2020	Heinz Zemanek Award given by the Austrian Computer Society (OCG) awarded to Alwin Zulehner
2020	EDAA Outstanding Dissertation Award given by the European Design and Automation Association (EDAA) awarded to Alwin Zulehner
2019	Award of Excellence given by the Austrian Ministry of Education awarded to Andreas Grimmer
2019	Winner of SRC@ICCAD by the ACM Student Research Competition at ICCAD awarded to Stefan Hillmich
2019	KlarText Preis given by the Klaus Tschira Foundation awarded to Andreas Grimmer
2019	JKU Early Research Achievement Award awarded to Andreas Grimmer
2019	JKU Early Research Achievement Award awarded to Alwin Zulehner
2019	Best Poster Award for the PhD Forum presentation at the Design Automation Conference (DAC) awarded to Alwin Zulehner
2019	Best Poster Award for the PhD Forum presentation at the Design, Automation and Test in Europe (DATE) conference awarded to Andreas Grimmer
2019	Best Poster Award for the PhD Forum presentation at the Asia and South Pacific Design Automation Conference (ASP-DAC) awarded to Alwin Zulehner
2018	UBIT Award given by the Upper Austrian Economic Chamber awarded to Berislav Klepic
2018	OCG Incentive Award awarded to Andreas Grimmer
2017	Best Poster Award for the PhD Forum presentation at the Design, Automation and Test in Europe (DATE) conference awarded to Philipp Niemann

Back to top ↑