- 臺灣大學資訊工程系教授。
- 美國耶魯大學計算機科學博士。
- 教授過計算機程式設計、高等程式設計、物件導向程式設計、平行程式設計等課程。
- 2008、2009、2011，2015年獲臺灣大學教學優良獎。
- 2002至2005年擔任國際大學生程式競賽 (ACM-ICPC, International Collegiate Programming Contest) 臺灣大學代表隊教練，並於2004年獲得 ACM-ICPC 世界大賽第六名及亞洲第一名。
- 2002年至2015年擔任國際奧林匹亞資訊競賽 (IOI, International Olympiad in Informatics) 臺灣代表隊指導老師。
- 2002年至2011年擔任教育部全國大專電腦軟體設計競賽裁判。
- 2006年至2015年擔任國際大學生程式競賽臺灣賽區裁判。2008年臺灣大學主辦時，擔任臺灣賽區裁判長。
- 2012年至2015年擔任國際奧林匹亞資訊競賽國際科學委員會委員 (International Scientific Committee, IOI)。
- 2014年台灣主辦國際奧林匹亞資訊競賽時擔任主辦國科學委員會主席 (Chair, Host Scientific Committee, IOI)。