|
|
Office: Wean Hall 3709 |
|
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.
|
PERIOD
|
Employer
|
Title
|
LOCATION
|
|
Oct,01~present
|
Computer Science Department, Carnegie Mellon Univ.
|
Research Programmer
|
Pittsburgh,USA
|
|
PERIOD
|
SCHOOL
|
LOCATION
|
|
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
|
|
||
|
Last updated: Saturday, April 26, 2003 2:47 AM