本人作為主要參與者參與了安徽省自然科學基金資助的“基於語言的SOC設計方法研究”、“嵌入式操作系統關鍵技術研究”等項目。國家自然科學基金項目“基於軟件構建過程的模型與機制研究”;中科院“七五”重點項目KD-Prolog編譯系統通過中科院主辦的鑒定,獲得1991中國科學院科技進步二等獎;中科院八五重點項目“KD-Prolog集成開發環境”獲得聯合國TIPS科技之星創新獎。
目前主持博士基金項目“ASIP建築形式驗證方法研究”。安徽省自然科學基金項目“可重構計算資源調度方法研究”。