Hridesh Rajan is an Associate Professor in the Department of Computer Science at the Iowa State University. His research interests are in programming language design, semantics and implementation, and in software engineering. Hridesh is the leader of the Ptolemy project and has been designing the language, developing its semantics and implementation and conducting empirical evaluation to validate its design along with others. He can be reached at hridesh@iastate.edu.

Gary T. Leavens is a professor in the School of Electrical Engineering and Computer Science at the University of Central Florida. His research interests are in programming and specification language design and semantics, program verification, and formal methods, with an emphasis on the object-oriented and aspect-oriented paradigms. Gary has been instrumental in developing the semantics and type system of the Ptolemy language. He can be reached at leavens@eecs.ucf.edu.

Robert Dyer is a graduate student in the Department of Computer Science at the Iowa State University, where he works with Dr. Hridesh Rajan. His research interests are in aspect-oriented software development, software engineering, and programming language design and implementation. Robert has been instrumental in carrying out large-scale empirical evaluation of Ptolemy's design and comparative study with similar language designs. He can be reached at rdyer@iastate.edu.

Rex Fernando is an undergraduate student in the Department of Computer Science at the Iowa State University, where he works with Dr. Hridesh Rajan. His research interests are in programming language design, semantics and implementation. Rex is working on a compiler for the Ptolemy language based on OpenJDK. He can be reached at fernanre@iastate.edu.

Mehdi Bagherzadeh is a graduate student in the Department of Computer Science at Iowa State University, where he works with Dr. Hridesh Rajan. His research interests are in programming language design and in specification and verification. Mehdi has been primarily working on the theory of translucid contracts in Ptolemy's design. He can be reached at mbagherz@iastate.edu.

Sean Mooney is a graduate student in the Department of Computer Science at the Iowa State University, where he works with Dr. Hridesh Rajan. His research interests are in programming languages and software engineering. Sean is mostly interested in compiler design and implementation and has been instrumental in the design and implementation of JastAddJ-based Ptolemy compiler. He can be reached at smooney@iastate.edu.

Page last modified on $Date: 2011/08/31 14:56:08 $