Marta Kwiatkowska awarded an honorary doctorate at KTH Royal Institute of Technology’s annual doctoral degrees ceremony in Stockholm. She has been recongnised for being a driving force behind the development of probabilistic and quantitative verification methods within computer science. KTH’s annual promotion continues traditions that date back to the 12th century, involving ceremonial hats, laurels, rings and performances of Swedish choral music. The setting of the ceremony may be familiar to many – it is the same place where Carl XVI Gustaf, the King of Sweden, awards the Nobel Prize. The picture, see right, is taken on the staircase of the famous City Hall where the banquet was held.
For more information see: