Christel Baier and Ralf Steinmetz receive RWTH Honorary Doctorates
As part of the celebration of 50 years of computer science at RWTH, Professor Christel Baier from the Technical University of Dresden and Professor Ralf Steinmetz from the Technical University of Darmstadt will be awarded the academic degree and the dignity of "Doctor of Science honoris causa". The award will be presented by RWTH Rector Ulrich Rüdiger.
Christel BaierCopyright: © Andreas Schmitter
Christel Baier is a world leader in research in the field of Formal Methods. She was instrumental in coining the term Model Checking by combining system models with concepts from logic, automata and graph theory. Model checking is an automatic procedure for checking the correctness properties of safety-critical reactive systems. She also pioneered the field of probabilistic model checking. Here, the behavior of systems and their environment is described by probabilities. Together with Steering Committee spokesperson Joost-Pieter Katoen, she has published more than 20 scientific papers.
Ralf SteinmetzCopyright: © Andreas Schmitter
Ralf Steinmetz is a pioneer in the field of multimedia communication. He conducted research especially on the synchronization of multimedia data streams in order to design communication systems accordingly. With his work, he laid important foundations in peer-to-peer technology, which is used today in media libraries of many streaming services. With his vision, the seamless exchange of mechanisms in communication, Steinmetz decisively coined the term transition for distributed and communicating systems.
Congratulations on the award!
Read the entire article here.