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

Research Biography Activity Publication Project Family Photo

Updated News

[Move] I have moved back to Taiwan and joined the Department of Management Information Systems, National Chengchi University on August 1, 2010. [Find me]

[Graduation] I have graduated from UCSB this June! [Dissertation] [Defense Talk]

[Publication] (1) “Relational String Verification Using Multi-track Automata.” CIAA 2010. (2) “Modular Verification of Synchronization with Reentrant Locks.'' MEMOCODE 2010.

[Award] The 2010 Outstanding Dissertation Award in Computer Science, UCSB. [certificate]

[Tool] Our string analysis tool: STRANGER is online now. [download]

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

Last updated on Sep. 5, 2010