Chair's Message

Computing in Real Time

Wavemaker to be Built at UNC

CS Spin-Off Sold to Accuray

Alumnus Receives Graphics Award

Alumni Fellowship Recipients

Department News

Alumni News

In Memoriam

Family Matters

Recent Publications

The Back Page

Web-only Content!


Alumni Fellowship Recipients - Chen-Rui Chou and Haohan Li

Chen-Rui Chou and Haohan Li are the joint recipients of the 2012-2013 Computer Science Alumni Fellowship. This fellowship is awarded annually to Ph.D. candidates in their final year of study, allowing the students to work full time on dissertation research. Generous contributions by alumni and friends help to make this fellowship possible.


Chen-Rui ChouChen-Rui has been investigating machine learning techniques for real-time radiation therapy guidance. In a radiation therapy situation, the patient’s continuous rigid and respiratory motion imposes high uncertainty for tumor localization. Chen-Rui has developed image registration methods that use machine learning strategies to reduce this uncertainty. His methods support real-time 3D motion estimation and have been evaluated for head-and-neck, lung and abdominal radiation therapy. Chen-Rui is working on his dissertation under Professor Stephen M. Pizer.



Haohan LiHaohan’s research interests are in the design and analysis of real-time systems, with a focus on the scheduling theory in safety-critical embedded systems. Classic real-time systems are aimed at the scheduling of tasks on certain platforms such that the temporal constraints of those tasks are assured by analytic verification. However, the increasing trend in embedded systems towards integrating multiple functionalities on a common platform is making the scheduling problem on such platforms become a challenge when some of the tasks are subject to certification under severely conservative specifications while the others are not. Such systems are called mixed-criticality real-time systems. The goal of Haohan’s research explores the essence of mixed-criticality real-time systems, to establish a formal model with reasonable assumptions, to describe the behavior of such systems, and to develop effective and efficient methods to schedule those tasks with certifiable and quantitative temporal guarantees. Haohan is working on his dissertation under Professor Sanjoy K. Baruah.