Fang Yu 郁方 Assistant Professor Dept. of MIS College of Commerce National Chengchi University My CV My Public Key yuf at nccu edu tw

Research Biography Activity Publications Projects Teaching Course Family Photo

Updated News

[Course] The course webpage of data structures has been announced!

[Study@UCSB] Here are my dissertation and defense slides.

[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. 1, 2010