Associate Professor Radu Mardare defends his doctoral dissertation "Logical Foundations of Metric Behavioural Theory for Markov Processes" in order to obtain the doctoral degree "dr.scient".
The defence will take place November 12 2015 at 13.00, Selma Lagerlöfsvej 300, room 0.1.95. After the defence Department of Computer Science will host a reception in the canteen area – registration not necessary.
Professor Anders P. Ravn (chairman)
Professor Ernst-Erich Doberkat
Professor Gordon Plotkin
If you wish to obtain a copy of the dissertaion please contact Kristian Østergaard Sørensen.