先後為研究生和本科生開設《面向計算機科學的數理邏輯》、《數字電路邏輯設計》、《離散數學》、《超大規模積體電路設計》、《專業英語》等課程，培養博士和碩士30名。主持完成了“硬體設計的形式化驗證”、“基於時態邏輯的形式化綜合”、“用於系統晶片驗證的證明引擎研究”、“面向無線通信的自重構NOC研究” 等國家自然科學基金項目。主持完成了國家十五攻關項目“40G/s光纖通信系統與設備” 的“關鍵ASIC設計”課題，主持陝西省重大產業化項目和多項教學改革項目等。在《計算機學報學報》、《計算機輔助設計和圖形學學學報》等國內外學術期刊和國際會議發表論文60餘篇。2003年被評為全國優秀教師，2004年評為陝西省教學名師。2006年榮獲“陝西省教學名師”稱號，2009年獲國家科技進步二等獎。獲得國家級和省部級科技進步獎以及教學成果8項。
主持參與主要項目及成果：
1.2006年主持國家自然科學基金項目“無線通信自重構容錯NOC研究”（90607008）獲得項目經費30萬元；
2.2003年主持國家自然基金重大研究計畫項目“用於系統晶片驗證的證明引擎研究”（90207015）獲得項目經費30萬元，2006年5月已經順利通過國家自然科學基金專家組實地驗收，獲得好評，發表論文十多篇，有2篇被EI檢索。
3.1977年主持國家自然科學基金項目“基於時態邏輯的形式化綜合 （69473017）獲得項目經費30萬元；通過國家自然科學基金專家組驗收，出版專著一部，發表論文20多篇，2000年獲得西安市科技進步三等獎。
4.1989年主持國家自然科學基金項目“硬體設計的形式化驗證”。
5.1992年主持國家自然科學基金重點項目子項目“ XYZ系統在VLSI設計領域中的套用”。
6.2002年主持了國家“十五”科技計畫攻關課題“40G SDH（STM-256）光纖通信設備與系統關鍵
ASIC開發”（2002BA106B06240）獲得項目經費240萬元，通過“十五”攻關專家組的驗收。
7.2003年主持國家“863”項目“寬頻交換高速交換晶片的研究開發”（2003AA1Z1190）。
8.1997年主持郵電部重點科研項目“SDH用ASIC研究”獲得項目經費100萬元。晶片在台灣已經一次投片成功，產品通過信息產業部科學技術鑑定，1999年項目獲信息產業部科技進步二等獎；2001年榮獲陝西省科技進步二等獎，並實現產業化，創造了良好的經濟效益。
9.2001發表《數字硬體的形式化驗證》(ISBN7-301-05332-0/TP.0632)/北京大學出版社專著一部；2000發表《接入網和V5接口》(ISBN7-115-08197-2/TN?1538)/人民郵電出版社著作一部；1998年翻譯《Common LISP程式設計》譯著一部；編寫“計算機專業英語”等教材。
獲獎情況：
獲得陝西省、信息產業部科技進步二等獎各一次，西安市科技進步三等獎三次，獲得國家發明專利三項；1997年被評為陝西省有突出貢獻的留學歸國人員，1998年享受政府特殊津貼，1999年榮獲“陝西省優秀教師”稱號、2001年榮獲“全國優秀教師”稱號。2006年榮獲“陝西省教學名師”稱號。
