University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Doina Bucur

No Personal Image Available

Dr  Doina  Bucur 



Research Assistant



doina.bucur@comlab.ox.ac.uk

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

Webpage

Publications

Info

Themes

Activities

Projects