實驗室舉辦歡送會!!
 |
| 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.
.jpg)
.JPG)
2010年10月7日 星期四
訂閱：
文章 (Atom)