doinabucur

Doina Bucur works as a researcher in the Systems & Controls Group. Her research lies in the area of context-aware system behavior for ubiquitous computing, with general interests in both formal and software engineering methods for the analysis of system behavior.

The current focus is on software analysis, verification, and synthesis for embedded sensor nodes and networks. As a post-doctoral researcher in the Computing Laboratory of the University of Oxford, she worked on software verification for sensor nodes. Doina earned her Ph.D. from the University of Aarhus in Denmark, with a thesis titled ‘On Context Awareness in Ubiquitous Computing’. She received her M.Sc. degree in Computer Science and Engineering from the Faculty of Automatic Control and Computers at the Politechnica University of Bucharest, Romania.