Contact Info Teaching: Current: 210, Seminar Undergrad project ideas, Past:: 411, 511, Seminar 311, Seminar (F'04) 511 (F'03, F'02) 411, Seminar, 517 (S'03) 411, Seminar (F'04) Seminar (H'04) Research: Resource-aware Programming (RAP) Publications Short bio Also of potential interest: Summer school on Language based techniques. Summer school on Generative and transformational technqiues. Verification: PLPV'07. Circuit design: DCC'08, HFL'07. Programming Languages: ESOP'08, ESOP'07, PEPM'07 Embedded systems: ICCES'06, EMSOFT'05, EUC'05, ICESS'05 Program generation: GPCE'05, MetaOCaml'05 Wanna do a PhD? Look here first! Meet some outstanding undergrads. What's hapenning today at Rice.