Short Biography

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. Currently, he is a fourth year PhD student in the VLab of the Department of Computer Science at the University of California, Santa Barbara. His research interests include software verification, formal methods, automata theory, membrane computing and web security.