Parosh Aziz Abdulla is a professor at the department of information technology, Uppsala University. His areas of interest include formal methods, automata theory and logic in computer science, program verification and model checking.
He has more than 200 publications, and has received more than 10 best paper awards including ones from ATVA'2019, the European association
for software science and technology at ETAPS 2013, the European association for theoretical computer
science at ETAPS 2010 and ICALP 2001, and the European association for programming languages and systems
at ETAPS 2000. He was a co-recipient of the LICS test-of-time award in 2016, for his paper in 1996 on the verification of well quasi-ordered programs. In 2017, he was a co-recipient of the CAV award for his contributions in the area of verification of programs with infinite state spaces.