Parosh Aziz Abdulla

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

• Algorithmic verification group granted 1.2 million Euros from VR.
• Co-chair of TACAS 2011 (together with Rustan Leino).
• A recent presentation: SOFSEM 2010 , and tutorial: Bulletin of Symbolic Logic 2010 .
• Two recent papers: FSTTCS 2009 , TACAS 2010 .
• Current and forthcoming PC duties: 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 (Spring 2009): Yunyun Zhu (PhD student), Ottomane Rezine (PhD Student), Faouzi Atiq (Postdoc).
• Scheduled visitors (Spring 2009): Lukas Holik, Axel Legay, Richard Mayr, Verena Wolf, Tomas Vojnar.