
Computer science professor Holger Hermanns and colleagues have been awarded the "Jean-Claude Laprie Award in Dependable Comptung" for a research paper in which they developed a new method for checking models. The prize is awarded annually since 2012 and acknowledges outstanding work that has significantly shaped the theory and practice…