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.
• PhD and Postdoc positions available at UPMARC Reseach Center. See here.
• I am on the editorial board of TCS. Your submissions are welcome.
• New project funding from VR, the Swedish Research Counci1. Theme: Automtata, probabilities, and games. Funding: 3 MSEK (350 KEuro). Duration: 2012--2014.
• Unifying talk at CONCUR 2011 and QEST 2011. Sildes. Paper.
• Co-chair of TACAS 2011 (together with Rustan Leino).
• Some recent papers: TACAS 2010 , CAV 2010 , CONCUR 2010 , LICS 2011 .
• Recent and forthcoming PC duties: 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.
• New group members: Cong Quy Trinh (PhD Student), Jari Stenman (PhD Student), Carl Leonhardsson (PhD student).
• 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.