Yu    Yang   School of Computing 50 S.Central Campus Dr. Rm 3190 Salt Lake City, UT   84112 Tel: (801)581-5618 (O) Email: yuyang AT cs.utah.edu Homepage: www.cs.utah.edu/~yuyang

Welcome. My name is Yu Yang ( ). I got B.S. from Nanjing University in 2000 and M.E. from Chinese Academy of Sciences in 2003. My advisor is Dr. Ganesh Gopalakrishnan.

Research

Interest : program verification. Especially interested in static analysis and verificaiton of concurrent programs. . Here are some source codes that you might be interested in.

Teaching

* TA for CS5460, Operating System (fall 04) Project 1 FAQ   Project 3 FAQ

* TA for CGS3066, Web Design ( spring 04, fall 03). Here are some sites( 1, 2, 3, 4) designed by my students.

Personal

Here is the homepage of my lovely wife.

Last modification: August 22nd, 2006