Parosh Aziz Abdulla

	I am a professor at the Department of Information Technology Uppsala University Uppsala Sweden
Register to the The UPMARC Summer School here. Publications Projects: UPMARC. ProFun. Algorithmic Program Verification. Games for Design and Verification. Seminars Students Teaching: Programming Theory Algorithms and Data Structures	LICS 2010. TACAS 2010. SOFSEM 2010. RP 2010. CAV 2009. MCC 2009. ICTAC 2009. QEST 2009. FoSSaCS 2009. LATA 2009. GAMES 2009. RP 2009. MEMICS 2009. INFINITY 2009. ICALP 2008. RP 2008. MEMICS 2008. CAV 2007. QEST 2007. MFCS 2007.
email:FirstName(at)it.uu.se Phone: +46 18 471 31 63 Mobile: +46 70 4 250 216 Fax: +46 18 55 02 25