Research projects

Here are the research projects that I have participated in:

• Verifiable real-time coordination for safe cooperative driving, 2014-ongoing, a CENIIT funded project, principal investigator
• Swedish national research Centre on Resilient Information and Control Systems (RICS), 2015-ongoing, funded by MSB, participant
• Critical societal functions and IoT: Securing data and services, 2015, funded by Vinnova, co-applicant
• Model-Driven Development of Smart Vehilces (MDDSV), project at Trinity College Dublin, participant
• Hastily Formed Networks with heterogeneous users (HFN), 2008-2011, participant
• Delay-tolerant networks: protocols, optimisation, and connectivity models, 2008-2011, funded by Swedish Research Council (VR), grant co-author and project participant
• Dependable Distributed Systems (DeDiSys), 2005-2007, participant