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