Prof. Holger Hermanns
Biography
Prof. Holger Hermanns is full professor at Saarland University, Saarbrücken, Germany, holding the chair of Dependable Systems and Software on Saarland Informatics Campus. He has previously held positions at Universität Erlangen-Nürnberg, Germany, at Universiteit Twente, the Netherlands, and at INRIA Grenoble Rhône-Alpes, France, and is former Dean of the Faculty of Mathematics and Computer Science at Saarland University. His research interests include modeling and verification of concurrent systems, resource-aware embedded systems, compositional performance and dependability evaluation, and their applications to energy informatics. Holger Hermanns has authored or co-authored more than 200 peer-reviewed scientific papers (ha-index 92, h-index 49). He co-chaired the program committees of major international conferences such as CAV, CONCUR, TACAS and QEST, and delivered keynotes at about a dozen international conferences and symposia. He serves on the steering committees of ETAPS and TACAS. He is president of the association "Friends of Dagstuhl e.V.", and vice president of the association "ETAPS e.V.". Holger Hermanns received the Dutch "Vernieuwingsimpuls" and the German "Preis des Fakultätentages Informatik" award. He is an ERC Advanced Grantee and elected member of Academia Europaea, and holds several other national and European research grants.
Abstract
Multi cores, graphics cards and other parallel architectures that execute tasks concurrently can nowadays be found in almost all computers, laptops and smartphones. Orchestrating such systems so that they work efficiently is a true challenge. If one believes in the predictions of hardware manufacturers, this will soon be an everyday task of the average software engineer.
Unfortunately, programming such concurrent systems is extremely difficult and error-prone. This has foundational and practical reasons. The aim of this lecture is to familiarize the students with the theory and practice of concurrent programming. A huge task, without question.
Professor Hermanns presents his award winning lecture series on Concurrent Programming for the first time outside Germany.