Professional Activities/Awards

·  Editorships:

 

·         Editor: International Journal of Foundations of Computer Science (IJFCS).

·         Editor: Journal of Information Science and Engineering (JISE) 2000 - 2005.

·         Editor: Science Development, National Science Council, Taiwan.

·         Guest Editor: Special issue on `Verification and Analysis of Infinite State Systems', International Journal of Foundations of Computer Science, Vol. 14, No. 4, August 2003 (co-edit with Farn Wang)

·         Guest Editor: Special issue on `Graph Drawing', International Journal of Foundations of Computer Science, Vol. 17, No. 5,  2006   (co-edit with Seokhee Hong)

·         Guest Editor: Special issue dedicated to  `CIAA 2006',  International Journal of Foundations of Computer Science, in preparation, 2007   (co-edit with Oscar H. Ibarra)

　

·  Program Committees:

·         2008 IEEE VGTC Pacific Visualization Symposium (PacificVis 2008;   formerly named Asian-Pacific Symposium on Information  Visualization, APVIS), Kyoto, Japan, March 5-7, 2008.

·         Workshop on Algorithms and Computation 2008 (WALCOM 2008),  Dhaka, Bangladesh,  February 7-8, 2008.

·         12th International Conference on Implementation and Application of Automata ( CIAA 2007), Prague, Czech Republic, July  16-18, 2007.

·         13th International Symposium on Pacific Rim Dependable Computing (PRDC 2007), Melbourne, Australia, December 17-19, 2007.

·         5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), Tokyo, Japan, October 22-25, 2007.

·         15th International Symposium on Graph Drawing (GD 2007), September 24-26, 2007, Sydney,  Australia.

·         2007 Workshop on Resource Management and Scheduling, in conjunction with ICPADS 2007, Hsin-Chu, Taiwan,  December 5-7, 2007.

·         The 2007 International Workshop on Smart Living Space, in conjunction with 2007 International Conference on Multimedia and Ubiquitous Engineering (MUE 2007), April 26-28, 2007, Seoul, Korea. (PC co-Chair).

·         Workshop on Algorithms and Computation-2007, Feb. 12, 2007,  Bangladesh.

·         Asia Pacific Symposium on   Visualization (APVIS 2007),  Feb. 5-7, 2007, Sydney, Australia.

·         1st International Conference on Language and Automata Theory and Applications (LATA 2007), Tarragona, Spain, March 29 - April 4, 2007

·         12th IEEE Symposium on Pacific Rim Dependable Computing (PRDC06), Riverside, CA, USA, Dec. 18-20, 2006.

·         4th international symposium on Automated Technology for Verification and Analysis (ATVA 2006), Beijing, China,  October 23-26,  2006.

·         11th International Conference on Implementation and Application of Automata ( CIAA 2006), Taipei, Taiwan, August 21-23, 2006. (PC co-Chair).

·         10th International Conference on Developments in Language Theory (DLT 2006), Santa Barbara, CA, USA,  June 26-29, 2006.  

·         Asia Pacific Symposium on Information Visualization ( APVIS  2006), Tokyo, Japan, Feb. 1-3, 2006.

·         Tenth International Conference on Implementation and Application of Automata ( CIAA 2005), Sophia Antipolis, France, June 27-29, 2005.

·         Third  Int'l Symp. on Automated Technology for Verification and Analysis (ATVA 2005 ) National Taiwan University, Taipei, Taiwan, Oct.  2005.

  • 25th IFIP  Formal Techniques for Networked and Distributed Systems (FORTE 2005), Taiwan, Oct. 2-5, 2005.
  • 2005 Pacific Rim International Symposium on Dependable Computing  (PRDC 2005), Changsha, China on Dec. 12-14, 2005.

·         2005 Asia Pacific Symposium on Information Visualisation  (APVIS 2005), Sydney, Australia,  January 27 - 29, 2005.

·         Second Int'l Symp. on Automated Technology for Verification and Analysis (ATVA 2004 ) National Taiwan University, Taipei, Taiwan, Oct. 31 -- Nov. 3, 2004.  (Organizing Chair)

·         2004 International Symposium on Algorithms and Computation (ISAAC 2004), Hong Kong, December 20-22, 2004.

·         Ninth International Conference on Implementation and Application of Automata ( CIAA 2004), Kingston, Ontario, Canada, July 22-24, 2004

·         First Int'l Workshop on Automated Technology for Verification and Analysis, (ATVA Workshop) National Taiwan University, Taipei, Taiwan, 10-13 December, 2003. (Organizing Chair)

·         Eighth International Conference on Implementation and Application of Automata ( CIAA 2003), Santa Barbara, CA, USA, July 16-18, 2003

·         International Computer Symposium 2002 ( ICS 2002) -- Workshop on Algorithms and Computational Molecular Biology, Taiwan. December 18-21, 2002.

·         2002 International Computing and Combinatorics Conference ( CoCoon 2002) Singapore, August 15-17, 2002.

·         2000 Workshop on Algorithm and Theory of Computation (held in conjunction with ICS 2000)

·         2000 International Workshop on Distributed System Validation and Verification ( DSVV'2000)
(held in conjunction with ICDCS 2000)

·         1998 ASIAN Computing Science Conference (ASIAN 1998), Manila, The Philippines, 1998.

·         1998 International Symposium on Algorithms and Computation ( ISAAC 1998), Taejon, Korea, 1998.

Others

·         Instructor  of a short course (Petri net theory and its applications)  in the 4th and 5th  International PhD School in Formal Languages and Applications,  Rovira i Virgili University, Tarragona, Spain, July 8-11,  2005, and July 21-22, 2006.

·         　

Awards

·         Distinguished Professor (台灣大學特聘教授), National Taiwan University, 2006.8 --

·         Special Researcher Award (國科會特約研究人員獎), National Science Council, 2002-2007

·         Distinguished Research Award (國科會傑出研究獎), National Science Council, (1996-2001)

·         Teaching Awards (教學優良獎), National Taiwan University, 2004, 2003, 1993, 1992

·         國科會指導大專學生研究創作獎, 1999.