Hi, I have already left CMU.

I am now doing my Ph.D. at University of Illinois at Urbana Champaign. My new homepage is here.
Changhao Jiang (Research Staff)
Computer Science Department,
Carnegie Mellon University

Office: Wean Hall 3709
Phone: 412-268-5182 (O)
email: jiangch AT cs DOT cmu DOT edu

Hi, I am Changhao Jiang. My English name goes by "Joe". I come from Beijing, China and have been working as a research staff in Project Aura since Oct, 2001. My research interests fall in many aspects of pervasive computing (or ubiquitous computing), primarily in context-aware applications and software infrastructure (middleware). Prior to joining CMU, I was a graduate student in the Department of Computer Science and Technology of Tsinghua University, China, where I researched on generic software infrastructure for smart spaces under project Smart Classroom . I designed and implemented the core component of Smart Platform for it.

From Janurary 2003 on, working with David Garlan, Jeannette Wing and Reid Simmon, I started to explore a new research field, "Software Model Checking", which aims at automatic verification of software system's conforming to specified properties. More specifically, I will investigate how to reason about exceptions in Java programs.

Current Research Focuses

Maintained Webpages

Personal Information

Computer Science Department, Carnegie Mellon Univ.
Research Programmer
Sep, 99~ Jul, 01
Department of Computer Science & Technology, Tsinghua University (M.S.)
Beijing, China
Sep, 95~ Jul, 99
Department of Computer Science & Technology, Tsinghua University (B.S.)
Beijing, China


  • Changhao Jiang, Peter Steenkiste,A Hybrid Location Model with Computable Location Identifier for Ubiquitous Computing, UbiComp'02, Goteborg, Sweden, 2002 (ps, pdf)
  • Changhao Jiang, Minglong Shao, Yiheng Li, Peng Jia, Accelerating Clustering Methods through Fractal Based Analysis , Fractal KDD, (in conjunction with SIGKDD), Edmonton, Canada, 2002 (ps,pdf)
  • Changhao Jiang, Yuanchun Shi, Guangyou Xu, Weikai Xie, Classroom in the Era of Ubiquitous Computing, ICWLHN'01, Singapore. 2001 (pdf, doc)
  • Guangyou Xu, Yuanchun Shi, Weikai Xie, Changhao Jiang, Weaving Computers into Environment: Understand Pervasive Computing and Intelligent Environment, PC World China, (Magazine), Volume 2001, Number 1 (online, mht)
  • Weikai Xie, Changhao Jiang, Yuanchun Shi, Guangyou Xu "Smart Classroom: a Interaction Space for Tele-education" Tsinghua University, Technical Report, (pdf)
  • (Other earlier publications are mostly in Chinese, they are available upon request)


Last updated: Saturday, April 26, 2003 2:47 AM