王凡 Farn Wang

Prof. Farn Wang (王凡）received the degree of Bachelor of Science in Electrical Engineering from National Taiwan University in June 1982. He received the degree of Master of Science from Natinal Chiao-Tung University in June 1984. From September 1986 to May 1987, he was employed as a research assistant in Telecommunication Laboratories, Ministry of Communications, R.O.C. He joined the Ph.D. Program in Mathematics and Computer Science at Dartmouth College in September 1987 and then transfered to the Ph.D. Program in Computer Sciences at the University of Texas at Austin in September 1988. From August 1993 to October 1997, he is an assistant research fellow in the Institute of Information Science (IIS), Academia Sinica, Taiwan, R.O.C. From October 1997 to July 2002, he is an associate research fellow at IIS. In August 2002, he becomes an associate professor at the Department of Electrical Engineering, National Taiwan University.

Prof. Wang's is now interested at helping the industry to reduce the cost of verification (or debugging), which has sky-rocketed up to more than 50% of the total development budget. His research mainly are focused on two techniques.

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.

He has also designed and implemented several verification tools for embedded systems, including ARTL, VERIFAST, SGM, and RED. He has also served as the guest-editor and guest-coeditor of IJFCS (International Journal on Foundations of Computer Science), the program chairs of FORTE 2005 and ATVA 2004, and the program cochairs of ATVA 2003, RTC'1999, RTCSA'1997. He has also served 38 times to this day (as of 2005/6) in the program committees of several international conferences. He also gave tutorials in FORTE 2004 and ATVA 2003. He is also a founding member of the ATVA steering committee.