國立台灣大學自動驗證實驗室

置頂文章

VAL 自動驗證實驗室

國立台灣大學電機工程學研究所計算機科學組

106台北市羅斯福路四段一號, 博理館618室, Taiwan, ROC

電話:+886-2-3366-3700 #6618

歡迎來到台大電機自動驗證實驗室。本實驗室的研究主要範疇是軟體的自動驗證，特別著重在即時系統的分析。同時我們也與業界廠商擁有密切的合作關係，並針對業界的需求提出可行之解決方案。

在分析工具方面，我們發展出了一套軟體："RED"，為整合性的符號式真時系統模型檢驗器/模擬器。

2010年10月18日星期一

燕青歡送會

燕青要離職了
實驗室舉辦歡送會!!

PIZZA 準備中!

實驗室大合照1

實驗室大合照2

以PIZZA代酒敬我們的燕青

同上 PART2

2010年10月11日星期一

B.S. National Taiwan University ,1982

M.S. National Chiao-Tung University , 1984

Ph.D. University of Texas-Austin , 1993

王凡教授的個人網頁 http://www.ee.ntu.edu.tw/profile?id=67

自傳

王凡教授在1982年自國立台灣大學電機學系取得學士學位，於1984年自國立交通大學資訊工程研究所取得碩士學位。.從1986年9月到1987年5月，他在中華民國交通部通訊實驗室擔任研究助理一職。王教授在1987年赴美國達特茅斯學院攻讀博士學位，並於隔年轉學至德州奧斯丁大學繼續學業並取得博士學位。自1993年8月起至1997年10月止，他於中央研究院資訊科學所擔任助理研究員。自1997年10月起至2002年8月，他升等為副研究員。並於2002年8月起，受聘至國立台灣大學電機工程學系擔任助理教授一職。

王教授目前的研究興趣在於協助業界有效的降低驗證（偵錯）的成本。驗證的成本在目前仍然高踞研發成本的50%。目前的研究主要在以下兩個領域：

Automating human verification experiences to develop verification tools with high abstractness and efficiency. Such tools have been shown effective in MS SLAM project to reduce the bugs of Windows drivers and the quality control in Intel CPU designs.
Automatic test plan generation for embedded software. In most companies, testing is still the major technique used to control the quality of software systems. Our focus is to use automated technology to analyze system spec. and generate quality test plans that can check out bugs systematically and methodically.

王教授已經率領研究團隊，設計並實做出許多的驗證工具，包括 ARTL, VERIFAST, SGM, and RED。同時，他也是IJFCS (International Journal on Foundations of Computer Science)的客座編輯。他同時也是FORTE 2005 and ATVA 2004的program chair及ATVA 2003,RTC'1999, RTCSA'1997 的program cochairs。截至2005年6月，他也受邀成為38個國際會議的委員。He also gave tutorials in FORTE 2004 and ATVA 2003. He is also a founding member of the ATVA steering committee.