Yuan's Cold-Cool Office

This is Whole Wild World for Yuan.

Yuan Lu

Office: Wean Hall 4604
Office Phone # : 412-268-3730
e_mail yuanlu@cs.cmu.edu

Dept. of Electrical and Computer Eng.
Carneige Mellon University
Pittsburgh, PA 15213

WWW for Research

Thesis

Resume

Publications

Bookmarks for Formal Verification

Deliverables

aSMV (abstraction based model checker)

Associated papers

Computer Sites

Guide to HTML style and composition.

Hardware Industry

Useful Web Pages

Best Airfare News Desk

Book Deal

Financial News

Fun Stuff

Photo Gallary

Friends Links

China Home Page