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: My current research focus is on a language for modeling, simulation, and verification of cyber-physical systems (Acumen). Publications and a short bio Conference, Workshops, Summer Schools: Cyber Physical Systems Modeling: CyPhy'11 (Deadline 2010/12/15). Domain Specific Languages: IFIP DSL WC. Summer schools: Language based techniques, Generative and transformational technqiues. Verification: PLPV'07. Circuit design: DCC'08, HFL'07. Programming Languages: PEPM'10, 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.