RV'21

Holger Hermanns

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. He is an outspoken proponent of proactive algorithmic accountability. Holger Hermanns has authored or co-authored more than 200 peer-reviewed scientific papers (ha-index 92, h-index 48). 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.

Patricia Bouyer-Decitre

Radu Grosu

Radu Grosu is a full Professor and the Head of the Cyber-Physical-Systems Division, of the Computer-Engineering Institute, at the Faculty of Informatics, Technische Universität Wien, Austria. Radu Grosu is also a Research Professor at the Department of Computer Science, of the State University of New York at Stony Brook, USA. The research interests of Radu Grosu include the modeling, the analysis and the control of cyber-physical systems and of biological systems. The applications focus of Radu Grosu includes smart-mobility, Industry 4.0, smart-buildings, smart-agriculture, smart-health-care, smart-cities, IoT, cardiac and neural networks, and genetic regulatory networks. Radu Grosu is the recipient of the National Science Foundation Career Award, the State University of New York Research Foundation Promising Inventor Award, the Association for Computing Machinery Service Award, and is an elected member of the International Federation for Information Processing, Working Group 2.2. Before receiving his appointment at the Vienna University of Technology, Radu Grosu was an Associate Professor in the Department of Computer Science, of the State University of New York at Stony Brook, where he co-directed the Concurrent-Systems Laboratory and co-founded the Systems-Biology Laboratory. Radu Grosu earned his doctorate (Dr.rer.nat.)in Computer Science from the Faculty of Informatics of the Technical University München, Germany. He was subsequently a Research Associate in the Department of Computer and Information Science, of the University of Pennsylvania, an Assistant, and an Associate Professor in the Department of Computer Science, of the State University of New York at Stony Brook, USA.