Professional Activities
- PC member for 11th IEEE High Assurance Systems
Engineering Symposium (HASE'08)
- Referee for Journal
of Information and Computation
- Referee for Journal of
Logic and Algebraic Programming
- Referee for Science in China (F)
- Referee for Journal
of Information Sciences
- Referee for Theoretical
Computer Science
- Referee for Information Processing Letters
- Referee for ICTAC'04, SEFM'04, ICTAC'05,
TACAS'06, ICALP'06, RTA'06, CONCUR'07, QEST'07, SOS'08, CONCUR'08, FORMATS'08, FSTTCS'08, SOFSEM'09,
CONCUR'09, FORMATS'09, ATVA'09, ICC'09,
TACAS'10, EUNICE'10, QEST'10, CONCUR'10, ISOLA'10, LPAR'10, SOFSEM'11,
LICS'11, ACSD'11, CAV'11, QEST'11, LICS'12, TASE'12, FM'12, FORMATS'12,
etc