Yuxin Deng

Professor of Computer Science
School of Computer Science and Software Engineering
East China Normal University
3663 North Zhongshan Road
Shanghai 200062
China

Phone: +86 21 62231281
Fax: +86 21 62235255
Email: yxdeng (AT) sei.ecnu.edu.cn
Web: http://basics.sjtu.edu.cn/~yuxin

yuxin_deng.jpg

I am a member of BASICS (by courtesy) at Shanghai Jiao Tong University.

My research interests include concurrency theory, programming semantics, type theory, and models for probabilistic computation.


Teaching


Selected Publications