Robert Corky Cartwright
Professor
Department of Computer Science
Rice University
United States of America
Biography
Robert "Corky" Cartwright is a Professor in the Department of Computer Science at Rice University. His Research interest includes programming language design and implementation, program semantics, and program verification.
Research Interest
programming language design and implementation, program semantics, and program verification
Publications
-
Sasitorn J, Cartwright R (2007)0020Deriving components from genericity. Proceedings of the 2007 ACM symposium on Appl comput.
-
Hsia J, Cartwright R (2005) Taming Java for the classroom. Proceedings of the 36th SIGCSE technical symposium on Computer science education.