Doina Bucur

[doina.bucur at comlab ox ac uk]

Ph.D, Computer Science, 2008
University of Aarhus, Denmark

Post-doctoral researcher
Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford OX1 3QD, UK

[brief CV]
[current project summary]

Research interests

Ubiquitous Computing, both on a practical (e.g. the use of sensing and sensor networks in Ubiquitous Computing, sensor network protocols, and software verification for sensor code), and on a theoretical level (mobile calculi, modeling context awareness).

Publications

Other

  • [R] Verifying ANSI C Context-Aware Applications
    Doina Bucur and Marta Kwiatkowska
    Draft, 2008     [pdf]

  • [R] On Ad Hoc Context Awareness
    Doina Bucur and Mogens Nielsen
    Draft, 2008 [pdf]

  • [R] On Context Awareness in Global Ubiquitous Computing
    Qualification report, University of Aarhus, Feb 2007
    [pdf]

  • [R] Advanced Network Management in Large Heterogeneous Networks
    M.Sc. thesis, Politehnica University of Bucharest, June 2004

  • [C] Security Challenges in Local Wireless Networks (whitepaper)
    Doina Bucur and Octavian Purdila
    International RoEduNet Conference, Timisoara, Romania, May 2004

  • [R] Implementing a Route Cache on a Linux Router
    B.Sc. thesis, Politehnica University of Bucharest, June 2003

Recent Talks

Grant support

EPSRC UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures (Oxford, 2008 -- 2010)

Fokus paa Fremtiden: Arkitektur, Applikationer og Graenseflader til Traadloes Telefoni [Danish: Focus on the Future: Architectures, Applications and Interfaces for Wireless Telephony] (Aarhus, 2005 -- 2008)

Teaching

Teaching assistant / instructor / demonstrator / course administrator ([SC]: semester course, [TC]: term course, [QC]: quarter course) for:

  • [TC] Software Verification, University of Oxford, 2009 (demonstrator)
  • [QC] Computability and Logic, University of Aarhus, 2007 (course administrator)
  • [SC] Operating Systems, Politehnica University of Bucharest, 2003-2005 (T.A.)
  • [SC] Operating-System Design, Politehnica University of Bucharest, 2003-2005 (T.A.)
  • [SC] Formal Languages and Automata, Politehnica University of Bucharest, 2005 (T.A.)
  • [SC] Functional Programming, Politehnica University of Bucharest, 2005 (T.A.)
  • [SC] Introduction to Algorithms and Algorithm Analysis, Politehnica University of Bucharest, 2004 (T.A.)
  • [SC] Local-Area Networks, Politehnica University of Bucharest, 2004 (T.A.)
  • [SC] Fundamentals of Wireless Networks, Cisco Academy Training Center, Bucharest, 2003-2005 (instructor)
  • [SC] CCNA (Cisco Certified Network Associate) courses: Networking Basics, Routers and Routing Basics, Switching Basics and Intermediate Routing, WAN Technologies, Cisco Academy Training Center, Bucharest, 2001-2005 (instructor)

Refereeing

[External referee] International Symposium on Automated Technology for Verification and Analysis (ATVA) '09, International Colloquium on Automata, Languages and Programming (ICALP) '09, Elsevier Journal of Systems and Software (JSS) '09, Springer Journal of Higher-Order and Symbolic Computation (HOSC) '08, International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS) '08, International Workshop on Formal Aspects in Security and Trust (FAST) '08, International Conference on Concurrency Theory (CONCUR) '08

[Internal referee] Springer International Journal on Software Tools for Technology Transfer (STTT) '09, Inderscience International Journal of Simulation and Process Modelling (IJSPM) '09, International Workshop on Learning Methodologies and Platforms used in the Cisco Networking Academy (LMPCNAP) '09, '10, Elsevier Journal of Systems and Software (JSS) '08