Parosh Aziz Abdulla

	I am a professor at the Department of Information Technology Uppsala University Uppsala Sweden
Publications Projects Seminars Students Teaching Programming Theory Data Structures	ICALP 2008. CAV 2007. QEST 2007. MFCS 2007. Dagstuhl Seminar -- Software Verification, 2006. CONCUR 2006. FORMATS 2006. INFINITY 2006. Isaac Newton Inst. for Math. Sc. -- Logic and Algorithms, 2006.
email:FirstName(at)it.uu.se Phone: +46 18 471 31 63 Mobile: +46 70 4 250 216 Fax: +46 18 55 02 25