International Journal of Data Mining and Bioinformatics等學(xué)報和ICALP’98TACAS’99APPT’2003ER’2004AI’2004HPCC’2006SEKE’；任國際嵌入式軟件年會(huì )EMSOFT和實(shí)時(shí)系統建模與分析國際會(huì )議FORMATS的執委，任RTSS，EMSOFT，LCTES，TACAS，DATE，HSCC等多個(gè)實(shí)時(shí)嵌入式系統領(lǐng)域頂級國際學(xué)術(shù)會(huì )議主席，長(cháng)期在RTSS，CAV等多個(gè)國際頂級學(xué)術(shù)會(huì )議中擔任程序委員會(huì )委員。