Robert "Corky" Cartwright

WEBSITE(S)| Research Site

Prior to his retirement in 2025, Robert "Corky" Cartwright's research focused on four topics:

1.) Developing extensions to Java, Scala, and Swift that foster developing parallel application programs that scale well as more cores are added to microprocessors.  I am an ardent advocate of a "mostly functional" approach to developing parallel programming applications.

2.) Developing "smart'' programming environments that prove that type-safe programs are free of run-time errors. In essence, smart environments use static analysis to verify the preconditions for primitive program operations.

3.) Developing production-quality pedagogic programming environments for Java, Scala, and Swift using Rice undergraduates as the primary workforce. The DrJava and forthcoming DrScala environments are products of this research effort.

4.) Developing a programming language (called FAST) and supporting environment for developing implicit programs in which program parameters are dynamically adjusted by the language run-time in accord with an platform-dependent intent specification provided by the user. The intent typically focuses on minimizing or maximizing a platform-dependent measure such as energy usage or performance while meeting platform-independent accuracy or quality constraints.

Education

PhD, Computer Science, Stanford University (1976)

BA, Applied Mathematics, Harvard College (1971)

Honors & Awards

ACM Fellow

Body

Profile updates sync daily at 5:15 a.m., 10:15 a.m., 1:15 p.m., 4:15 p.m., and 7:15 p.m. (CST)
Updates typically appear about 15 minutes after the next scheduled sync.

To update your profile:
Contact your website administrator.