Fang Yu is the Assistant Professor of the Department of Management Information Systems, National Chengchi University. He received his Ph.D. Degree in Computer Science from University of California, Santa Barbara in June 2010. His research interests include software verification, formal methods, automata theory, membrane computing and web security. Fang Yu received his Bachelor's Degree in 1998 and Master's Degree in 2000 from the Department of Information Management at the National Taiwan University. From 2000 to 2005, he worked in the Verification Automation Lab of the Institute of Information Science at Academia Sinica, Taiwan.