Software Engineering at Carnegie Mellon University

Posted on: March 16, 2014


Brief Description of the Project:

Carnegie Mellon’s Research Experiences for Undergraduates in Software Engineering (REUSE) program is an opportunity for undergraduate students to spend a summer working with CMU’s world-leading Software Engineering faculty researchers. A number of projects are available in diverse areas including automated bug repair, mining software repositories, green computing, requirements engineering, program analysis, programming languages, and usable programming tools. Accepted students will work closely with CMU SE faculty and researchers on research problems with the potential for publication and significant impact on the future practice of software engineering.

Name of Research Adviser: CMU SE faculty, including Jonathan Aldrich, Travis Breaux, David Garlan, Jim Herbsleb, Christian Kaestner, Brad Myers, and Bradley Schmerl.

Name of Institution: Carnegie Mellon University

Link to Website with Additional Information: http://www.isri.cs.cmu.edu/education/reu-se

Contact Information:

For questions email jonathan.aldrich@cs.cmu.edu
To apply, email poprocky@cs.cmu.edu (application requirements are here)

About Jonathan Aldrich

Jonathan Aldrich is Associate Professor of Computer Science at Carnegie Mellon University. He is the director of CMU's undergraduate minor program in Software Engineering, and teaches courses in programming languages, software engineering, and program analysis for quality and security. In addition, he serves as a consultant on architecture, design, process, and legal issues in the software industry. Dr. Aldrich joined the CMU faculty after completing a Ph.D. at the University of Washington and a B.S. at Caltech. Dr. Aldrich’s research centers on programming languages and type systems that are deeply informed by software engineering considerations. His research contributions include verifying the correct implementation of an architectural design, modular formal reasoning about code, and API protocol specification and verification. For his work on software architecture, Aldrich received a 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize, given annually for a significant technical contribution to object-oriented programming. Aldrich was one of 12 computer science researchers nationwide who were selected to the 2007 DARPA Computer Science Study Group. Aldrich's current work focuses on support for typestate-oriented programming and concurrency in the design of the Plaid language.