I am a Senior Lecturer in the Department of Electrical and Computer Engineering at the University of Auckland, New Zealand. I am interested in real-time systems, static timing analysis and model checking. I proposed reactive processors, a family of processors suitable for the design of reactive, embedded systems that need precise timing.