王凡教授的簡傳 - Biography of Farn Wang

王凡 Farn Wang

Photo of 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.  

 

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.