카네기멜론대학 소프트웨어 엔지니어링 연구소의 수석 연구원이다. 정보 네트워킹 연구소에서 정보 네트워킹으로 석사 학위를 받았으며, 카네기멜론대학에서 전기 컴퓨터 공학으로 박사 학위를 받았다. 관심 분야는 사이버 물리 시스템, 실시간 시스템, 모델 기반 엔지니어링이다. 최근에는 실시간 분야에서 다중 코어 프로세서 및 혼합 중요도 스케줄링에 집중했으며, 민간 산업계 및 정부 기관을 대상으로 기초 연구 및 응용 연구에 대한 여러 프로젝트를 주도해왔다. 레퍼런스 구현과 실시간 자바 명세의 상용 버전 개발에 참여했다.