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