Yuxin Deng

Computer Science Department
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, Pennsylvania 15213-3891

Office: 9007 Gates Hillman Center
Tel: +1 412-268-8680
Fax: +1 412-268-5576
Email: yuxind AT cmu.edu
Web: http://www.cs.cmu.edu/~yuxin


I visited the Computer Science Department at Carnegie Mellon University, and worked in the group of Prof. Frank Pfenning from February to December 2011.

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

Selected Publications