Doina Bucur
Dr
Doina
Bucur
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
My current research is concerned with applying software verification techniques over applications from the ubiquitous computing area. In particular, the case studies comprise software written in C-like languages which is context-aware, i.e. individual networked applications which adapt their behaviour to input which is external to the application (e.g. events from the hardware level, or messages from other networked entities).The purpose of such verification techniques is to ensure the dependability of applications adapting to context. These applications are usually multithreaded (either asynchronous, or supported by a middleware layer), and the fundamental difficulty in designing such adaptive programs is the fact that context updates affect the behaviour of the application involuntarily, at any time during execution. This can happen for any type of input, but it is particular for context inputs, which are delivered streamingly.
Biography
PhD in Computer Science, University of Aarhus, Denmark, on the topic of Ubiquitous Computing.Links
Info
Themes |
|
Activities |
Software Model Checking | Quantitative Analysis and Verification |
Projects |