He leads the Computer Architecture and Embedded Systems Research group at Waterloo. His research interests are in real-time embedded software, computer architecture, network-on-chips, high-level synthesis, hardware/software co-design methodologies, and computer-aided design. Prior to his arrival at Waterloo, he was a postdoc at the University of California, Berkeley where he was a member of The Ptolemy Project under Prof. Edward A. Leeâ€™s supervision. He received his Ph.D. at Virginia Tech. advised by Prof. Sandeep K. Shukla where he was a member of the Formal Engineering Research with Models, Abstractions and Transformations (FERMAT) research laboratory.