Holger Hermanns is affiliated with Saarland University in Germany and has a substantial body of work spanning the fields of computer science and engineering. Their research focuses predominantly on formal methods in verification, software testing and debugging techniques, as well as adversarial robustness in machine learning. Other notable topics include satellite communication systems, software reliability and analysis research, ethics and social impacts of artificial intelligence, and advanced software engineering methodologies.
The scientist's recent publications include:
Frequent co-authors in their research include:
Hermanns has contributed publications to various venues, with multiple papers appearing in:
Their publications also include books published by Springer Science+Business Media, such as "Dependable Software Engineering. Theories, Tools, and Applications" (2023) and "Measurement, Modelling and Evaluation of Computing Systems" (2020).
Main fields of study where Hermanns has made contributions are:
Subfields of particular interest include:
Recognized for their academic contributions, Holger Hermanns has been a member of Academia Europaea since 2013.
C. Baier;B. Haverkort;H. Hermanns;J.-P. Katoen
Joost-Pieter Katoen;Ivan S. Zapreev;Ernst Moritz Hahn;Holger Hermanns
Markus Langer;Daniel Oster;Timo Speith;Holger Hermanns
Holger Hermanns
Christel Baier;Boudewijn R. Haverkort;Joost-Pieter Katoen;Holger Hermanns
Holger Hermanns
Christel Baier;Joost-Pieter Katoen;Joost-Pieter Katoen;Holger Hermanns
Holger Hermanns;Ulrich Herzog;Joost-Pieter Katoen
C. Baier;J.-P. Katoen;H. Hermanns
Salem Derisavi;Holger Hermanns;William H. Sanders
Christel Baier;Boudewijn R. Haverkort;Holger Hermanns;Joost-Pieter Katoen
Holger Hermanns;Björn Wachter;Lijun Zhang
Christel Baier;Joost-Pieter Katoen;Holger Hermanns;Verena Wolf
Ernst Moritz Hahn;Holger Hermanns;Lijun Zhang
H. Bohnenkamp;P.R. D'Argenio;H. Hermanns;J.-P. Katoen
Christian Eisentraut;Holger Hermanns;Lijun Zhang
Christel Baier;Holger Hermanns
Suzana Andova;Holger Hermanns;Holger Hermanns;Joost-Pieter Katoen
Christel Baier;Holger Hermanns
Arnd Hartmanns;Holger Hermanns
David N. Jansen;Holger Hermanns;Joost-Pieter Katoen
If you think any of the details on this page are incorrect, let us know.
Choosing the right pathway in computer science often depends on your career goals, budget, and timeline. For those seeking rapid entry into the workforce, exploring the fastest degree to get can help you identify programs that offer great salaries without several years of study.
If you're passionate about advanced technologies, pursuing the best online masters in AI could open doors in high-demand fields such as data science, robotics, and machine learning. These online options provide flexibility while allowing you to stay ahead in a tech-driven job market.
Not sure what to specialize in? Review the best majors for the future to ensure your studies align with emerging trends and long-term career stability. Alternatively, if you want to boost your credentials without an overwhelming workload, consider the easiest online masters degree options.
No matter your choice, online degrees in computer science offer a flexible and strategic way to advance your career.
Tianjin University
Chinese Academy of Sciences
Southwest University
Imec
Spark NZ Ltd
Koç University
University of Iowa
University of Connecticut
University of Edinburgh
University of Manchester
New York University
University of Cambridge
Technical University of Denmark
University of North Carolina at Chapel Hill
Vita-Salute San Raffaele University
Robert Bosch (Germany)
