Parosh Aziz Abdulla

Professor at the Department of Information Technology, Uppsala University, Uppsala, Sweden.

• Overall Evaluation of Research at Uppsala University (KoF 11), 2011. 600 KSEK/year extra permanent faculty support for the verification group.
• New project funding from VR, the Swedish Research Council1. Theme: Automata, probabilities, and games. Funding: 3 MSEK (350 KEuro). Duration: 2012--2014.
• I am on the editorial board of TCS. Your submissions are welcome.
• Recent papers:
  • Quantitative reasoning over infinite-state systems: Priced Timed Petri Nets@LICS 2011, Priced Discrete Timed Push-Down Automata@LATA 2012, Dense-Timed Push-Down Automata@LICS 2012, and Dense-Timed Lossy Channel Systems@FSTTCS 2012.
  • Programs running over weak memory models: finite-state programs on TSO@TACAS 2012 and programs with unbounded data domains on TSO@SAS 2012.
• Unifying talk at CONCUR 2011 and QEST 2011. Slides. Paper.
• Recent and forthcoming PC duties: LICS 2013, MFCS 2013, LATA 2013, FORMATS 2012, MCC 2012, TACAS 2011 (co-chair), ATVA 2011, RP 2011, INFINITY 2011, LICS 2010, CONCUR 2010, TACAS 2010, SOFSEM 2010, GandALF 2010, RP 2010, CAV 2009, MCC 2009, ICTAC 2009, QEST 2009, FoSSaCS 2009, LATA 2009 , GAMES 2009, RP 2009, MEMICS 2009 , INFINITY 2009.
• Visitors to the group (2011-2012): Henrik Bjorklund, Yu-Fang Chen, Giorgio Delzanno, Frank Drewers, Pierre Ganty, Johanna Hogberg, Ondrej Lengal, Richard Mayr, Roland Meyer, Arnaud Sangnier, Tomas Vojnar.