Parosh Aziz Abdulla

Scientific Awards
Reseach Grants

Scientific Awards

CAV Award 2017

Parosh Aziz Abdulla, Bengt Jonsson, Alain, Finkel, Philippe Schnoebelen.
"for the development of general mathematical structures leading to general decidability results for the verification of infinite-state transition systems.".
CAV 2017.

2017.

LICS Test-of-Time Award 2016

Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay.
"for showing the decidability of various verification problems for well-structured transition systems".
LICS 2016.

2016.

Best Paper at ETAPS'13

Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, and Ahmed Rezine.
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures.
European Association of Software Science and Technology (EASST) award for best paper at ETAPS'13, the European Joint Conferences on Theory and Practice of Software.

2013.

Best Paper at ETAPS'10

Parosh Aziz Abdulla, Yu-Fang Chen, Lukas Holik, Richard Mayr, and Tomas Vojnar.
When Simulation Meets Antichains (on Checking Language Inclusion of NFAs).
European Association for Theoretical Computer Science (EATCS) award for best paper at ETAPS'10, the European Joint Conferences on Theory and Practice of Software.

2010.

Best Paper at CIAA'08

Parosh Aziz Abdulla, Ahmed Bouajjani, Lukas Holik, Lisa kaati, and Tomas Vojnar.
Composed Bisimulation for Tree Automata.
Best paper award at CIAA'08, the 13th International Conference on Implementation and Application of Automata.

2008.

Best Paper at WMC'08

Parosh Aziz Abdulla, Giorgio Delzanno, and Laurent Van Begin.
On the qualitative analysis of conformon P systems.
Best paper award at WMC'08, the 9th Workshop on Membrane Computing.

2008.

Distinguished paper at TACAS'07

Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine.
Regular Model Checking without Transducers.
Microsoft award for distinguished papers co-authored by a student, the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems.

2007.

Best Paper at CIAA'06

Parosh Aziz Abdulla, Johanna Högberg, and Lisa Kaati.
Minimization of tree automata.
Best paper award at CIAA'06, the 11th International Conference on Implementation and Application of Automata.

2006.

Best Paper at ICALP'01

Parosh Aziz Abdulla, Luc Boasson, and Ahmed Bouajjani.
Effective Lossy Queue Languages.
EATCS (European Assoociation for Theoretical Computer Science) award for best paper award at ICALP'01, the 28th Int. Colloquium on Automata, Languages and Programmming.

2001.

Best Paper at ETAPS'00

Parosh Aziz Abdulla, Per Bjesse, and Niklas Een.
Symbolic Reachability Analysis Based on SAT-Solvers.
EAPLS (European Association for Programming Languages and Systems) award for best paper at ETAPS'00, the European Joint Conferences on Theory and Practice of Software.

2000.

Research Grants

Automata, Probabilities, and Games

VR project.

Role: Project Leader.

Funded by: VR, the Swedish Research Council.

2011--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

Algorithmic Software Verification

VR project.

Role: Project leader.

Funded by: VR, the Swedish Research Council.

2005--2007
Total funding level: 3.3 MSEK (0.33 MEuro)

ADVANCE

Advanced Validation for Telecommunication Protocols. European FET project.

Role: Site leader.

Funded by: EU.

2000--2004
Total funding level: 2.0 MEuro

Automated Program Verification

VR project.

Role: Project leader.

Funded by: VR, the Swedish Research Council.

2002--2004
Total funding level: 2.4 MSEK (0.24 MEuro)

Symbolic Model Checking Using Stalmarck's Method

ASTEC project, Advanced Software TEChnology competence center.

Role: Project leader.

Funded by: Vinnova, the Swedish Governmental Agency for Innovation Systems.

2000--2003
Total funding level: 2.4 MSEK (0.24 MEuro)

SymTime

New Directions in Symbolic Model Checking for Real-Time Systems.

Role: Project leader.

Funded by: ARTES, the Swedish strategic research initiative in Real-Time Systems.

1996-2001
Total funding level: 2.1 MSEK (0.21 MEuro)

Formal Techniques for Design of Real-time Systems and Hardware

TFR Project.

Role: Project co-leader.

Funded by: TFR, the Swedish Research Council for Engineering Sciences.

1992-1995
Total funding level: 1.8 MSEK (0.18 MEuro)

Automated Verification of Distributed Systems

TFR Project.

Role: Project co-leader.

Funded by: TFR, the Swedish Research Council for Engineering Sciences.

1990-1992
Total funding level: 1.8 MSEK (0.18 MEuro)