My 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. I consider conventional technologies (from formal specifications to the realization) as well as future technologies (including quantum computing, mirofluidic biochips, optical circuits, memristors, reversible circuits, and adiabatic circuits). Besides that, I frequently applies my expertise to complementary fields in cooperation with groups from other areas of Computer Science (e.g. Artificial Intelligence, Software Development, Theoretical Computer Science, Database Systems, Operation Systems, and more) as well as Mechatronics and Electrical Engineering. Furthermore, my work on future technologies frequently exposes me to topics from physics, biology, chemistry, and optics. Also projects with legal sciences are within my portfolio.Since 2007, I 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, I 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, I was General Chair and PC Chair for several conferences, I am Executive Committee Member for DATE and ICCAD, I served in numerous Program Committees, and I organized several tutorials, seminars, workshops, and special sessions.For more details, please see https://www.cda.cit.tum.de/team/wille/