Doina Bucur

[doinabucur at incas3 eu]

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

Moved as: Scientific researcher, INCAS3, The Netherlands
Left position as: Post-doctoral researcher, Oxford University Computing Laboratory, UK

[Automated Reasoning: course page]
[Ubiquitous Computing: some introductory lectures]

Research interests

Embedded systems in ubiquitous computing: applied formal methods and software engineering---

  • embedded system software analysis and verification;
  • software-based methods for behavioural fault detection and recovery;
  • methods and toolkits for the development of correct and intelligible context-aware embedded software;
  • correct-by-design code synthesis for sensor platforms;
  • MANET protocol design and analysis.

Publications

Other

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

  • [R] On Ad Hoc Context Awareness
    Doina Bucur and Mogens Nielsen
    Report, 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

Some 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

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

  • [QC] Automated Reasoning (Model Checking), University of Groningen, NL, 2011-2012 (course design, lecturer)
  • [TC] Software Verification, University of Oxford, UK, 2009 (demonstrator)
  • [QC] Computability and Logic, University of Aarhus, DK, 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 Workshop on Formal Methods for Industrial Critical Systems (FMICS) '10, Elsevier Journal of Theoretical Computer Science (TCS) '10, 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, Elsevier Journal of Systems and Software (JSS) '08