![]() |
Yuxi Fu Department of Computer Science School of Electronics and Informatics Shanghai Jiaotong University 800 Dongchuan Road Shanghai 200240 Email: fu-yx(at)cs.sjtu.edu.cn or yxfu(at)sjtu.edu.cn Phone: +86 21 34202497 (Minhang Campus), or +86 21 62932758 (Xuhui Campus) Fax:+86 21 34202495 (Minhang Campus), or +86 21 62932902 (Xuhui Campus) |
I am an executive member of the Asian Association for Foundation of Software (AAFOS). I am also involved in a number of other professional activities.
My teaching duty includes normally one postgraduate course per semester.
I am involved in the following workshop/conference:
I normally teach one postgraduate course every semester. Over the years my courses have covered subjects on λ-calculus, domain theory, modal logic, concurrency theory, non-well-founded set theory, type theory and mathematical logics.
I am teaching concurrency theory this semester. The course is scheduled at 6 PM every Thursday in the lecture room D404.