Title：Professor
Office Phone：34205088/34204931
Email：fu-yx@cs.sjtu.edu.cn
Research Field：theoretical computer science, concurrency theory, and model theory of computer science
