Scholar

Parosh Abdulla

Google Scholar ID: ClHyW9MAAAAJ

Professor of Computer Science, Uppsala University

automata theorymodel checkingconcurrent programsquantum computing

Citations & Impact

All-time

Citations

2,449

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Academic Achievements

Published numerous papers in top-tier venues including POPL 2021, POPL 2020, OOPSLA 2018, LMCS 2018, JACM 2017, CONCUR 2017, PLDI 2017, and CAV 2016
Served on program committees for major conferences such as PLDI, POPL, CAV, LICS, ICALP, TACAS, and CONCUR (2009–2023)
General Chair of ETAPS 2017; co-chair of RP 2013 and TACAS 2011
Member of the editorial board of Theoretical Computer Science (TCS)
Organized or participated in academic events such as the Uppsala Workshop on Automata, Logic and Verification

Co-authors

50 total