Department of Computer Science

Doctoral defence by Radu Mardare

On November 12 2015 at 13.00 pm, associate professor Radu Mardare will defend his doctoral dissertation.

Last modified: 10.11.2015

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.

Assessment committee:

Professor Anders P. Ravn (chairman)

Professor Ernst-Erich Doberkat

Professor Gordon Plotkin

 

Programme for the day.

More information regarding the content of the thesis and the assessment committee.

If you wish to obtain a copy of the dissertaion please contact Kristian Østergaard Sørensen.

 

Event list

See the list