Parosh Aziz Abdulla

Current Projects

Automata, Probabilities, and Games
  • VR project.
  • Role: Project leader.
  • Funded by: VR, the Swedish Research Council.
    • 2012--2014
    • Total funding level: 3 MSEK (0.4 MEuro)
    Software Verification
  • VR "Rambidrag".
  • Role: Project Leader.
  • Funded by: VR, the Swedish Research Council.
    • 2010--2012
    • Total funding level: 11 MSEK (1.1 MEuro)
    UPMARC
  • The Uppsala Programming for Multicore Architectures Research Center. Linnaeus comptetence center.
  • Role: Leader of verification track.
  • Funded by: VR, the Swedish Research Council.
    • 2009--2019
    • Total funding level: 60 MSEK (6 MEuro)
    ProFun
  • A Programming Platform for Future Wireless Sensor Networks.
  • Role: Leader of validation and verification track.
  • Funded by: SSF, the Swedish Foundation for Strategic Research.
    • 2009--2013
    • Total funding level: 35 MSEK (3.5 MEuro)
    Advanced Techniques for Model Checking of Infinite-State Systems
  • VR project.
  • Role: Project leader.
  • Funded by: VR, the Swedish Research Council.
    • 2008--2010
    • Total funding level: 2.5 MSEK (0.25 MEuro)
    Games for Design and Verification
  • A European Project. ESF Research Networking Programme on using Games for Design and Verification..
  • Role: Site leader. Member of the steering committee.
  • Funded by: EU.
    • 2008--2013