Funding
Research projects
Research projects and grants I have led or taken part in.
Current project
-
Verification of Quantum Circuits
2026–2029
Swedish Research Council (VR), 4.8 MSEK. Project leader.
Past projects
-
Mitigating Side-Channel Attacks: Foundations and Applications
2023–2024
Swedish Research Council (VR), 5.0 MSEK. Project leader.
-
Consistency and Persistency: Ensuring Correctness of Concurrent Programs on Non-Volatile Memories
2020–2024
Swedish Research Council (VR), 5.3 MSEK. Project leader.
-
Verification of Embedded Timed Systems
2018–2020
Swedish Research Council (VR), 1.5 MSEK. Project leader.
-
Verification of Concurrent Software
2014–2018
Swedish Research Council (VR), 4.0 MSEK. Project leader.
-
Automata, Probabilities and Games
2012–2014
Swedish Research Council (VR), 3 MSEK. Project leader.
-
Software Verification
2009–2012
Swedish Research Council (VR) framework grant, 11.1 MSEK. Project leader, coordinating five research groups.
-
UPMARC: Uppsala Programming for Multicore Architectures Research Center
2009–2018
Linnaeus center, Swedish Research Council (VR), 60 MSEK in total. Leader of the verification track (12 MSEK).
-
ProFun: A Programming Platform for Future Wireless Sensor Networks
2009–2013
Swedish Foundation for Strategic Research (SSF), 35 MSEK in total. Leader of the validation and verification track.
-
Games for Design and Verification
2008–2013
ESF Research Networking Program. Site leader and steering committee member.
-
Advanced Techniques for Model Checking of Infinite-State Systems
2008–2010
Swedish Research Council (VR), 2.2 MSEK. Project leader.
-
Algorithmic Software Verification
2005–2007
Swedish Research Council (VR), 3.3 MSEK. Project leader.
-
Automated Program Verification
2002–2004
Swedish Research Council (VR), 2.4 MSEK. Project leader.
-
ADVANCE: Advanced Validation for Telecommunication Protocols
2000–2004
European research and technological development project, 20 MSEK in total. Uppsala site leader. Partners: University of Paris 7, TU München, VERIMAG Grenoble, the Weizmann Institute, University of Kiel, University of Liège, Ericsson and CNET.
-
Symbolic Model Checking Using Stålmarck's Method
2000–2003
ASTEC competence center, 2.4 MSEK, in cooperation with Prover Technology AB. Project leader.
-
New Directions in Symbolic Model Checking for Real-Time Systems
2000–2003
ARTES, the Swedish strategic research initiative in real-time systems, 2.1 MSEK. Project leader.
-
Automated Verification of Distributed Systems
1996–2001
Swedish Research Council for Engineering Sciences (TFR), 2 MSEK. Project leader.
-
Formal Techniques for Design of Real-Time Systems and Hardware
1993–1995
Swedish Research Council for Engineering Sciences (TFR), 1.8 MSEK. Leader of the verification track.
-
Automated Verification of Distributed Systems
1992–1995
Swedish Research Council for Engineering Sciences (TFR), 2.1 MSEK. Co-leader.
-
REACT
1992–1995
European ESPRIT Basic Research Action. Participant.
-
Methods and Tools for Design and Analysis of Distributed Concurrent Systems
1990–1992
Swedish Board for Technical Development (STU), 3 MSEK. Project leader.
Collaboration and visiting grants
-
Royal Society
2009
Collaboration between Uppsala University and the University of Edinburgh, with Richard Mayr, 0.3 MSEK.
-
STINT
2000
Visit of Professor Purushothaman Iyer, University of North Carolina, 0.9 MSEK.
-
Wenner-Gren Foundations
2000
Visit of Professor Ahmed Bouajjani, University of Paris 7, 0.3 MSEK.