My research interests revolve around resource allocation in real-time compute systems. In particular, I am interested in exploring the theoretical underpinnings of real-time and dependable systems, with particular emphasis on the design and analysis of task scheduling algorithms. I look at both deterministic and probabilistic models of real-time systems.