Fang Yu Ph.D. Candidate Advisor: Tevfik Bultan Department of Computer Science College of Engineering University of California, Santa Barbara e-mail: yuf at cs.ucsb.edu My CV My Public Key

Biography    Activity    Publication    Project    Photo

Updated News

[Intern] July 14-Sep. 24. Intern at NEC Lab America, Princeton, NJ.

[Travel] (1) July 7-13. CAV08, Princeton, NJ. (2) Aug 10-12. SPIN08, Los Angeles, CA

[Family] Samuel's First Birthday in June!

[Award] Awarded UCSB Dean's Fellowship (2008-2009) in May.

[Publication] (1) "Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization." FSE 2008.

(2) "Symbolic String Verification: An Automata-based Approach." SPIN 2008.

~Life can be simple. Science can be natural.~

Last updated on June 26, 2008