Laboratory for Software Design

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 languages and software engineering. Mehdi is currently starting his research program in the Tisa project. He can be reached at mbagherz@iastate.edu.

Robert Dyer 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 aspect-oriented software development, software engineering, and programming language design and implementation. Robert is currently leading the research efforts on the Nu project. He can be reached at rdyer@iastate.edu.

Youssef Hanna 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 specification and verification techniques for security protocols in sensor networks. Youssef is currently leading the research efforts on the Slede project. He can be reached at ywhanna@cs.iastate.edu.

Tyler Sondag 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 languages design and implementation, in particular parallel programming languages and parallelizing compilers. He is also interested in static and dynamic analysis techniques. He is currently looking at applying static program analysis techniques to determine more efficient thread-to-core assignments on multi-core processors. He can be reached at sondag@cs.iastate.edu.

Harish Narayanappa 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 languages, software engineering, and databases. Harish is currently looking for a research topic. He can be reached at harish@cs.iastate.edu.

Cavell Rodrigues is a graduate student in the Department of Computer Science at Iowa State University, where she works with Dr. Hridesh Rajan. Her research interests are in programming languages and software engineering. Cavell is currently starting her research program in the Tisa project. She can be reached at cavellr@cs.iastate.edu.

Yuly Suvorov is an undergraduate student at Iowa State University, where he works with Dr. Hridesh Rajan. He is interested in aspect-oriented programming. He is currently looking at analyzing the benefits of the Nu intermediate language model to the incremental compilation process of aspect-oriented programs. He can be reached at ysuvorov@cs.iastate.edu

James Yoder is an undergraduate student at Iowa State University, where he works with Dr. Hridesh Rajan. He is interested in model checking, graph theory, and compositional analysis. He is currently looking at compositional analysis in the context of the Slede project. He can be reached at y0da00@iastate.edu

Mahantesh Hosamani received his MS (Nov 2007) in Computer Science in the Department of Computer Science at Iowa State University, where he worked with Dr. Hridesh Rajan. His research interests at the time were in Verification techniques for Service Oriented Architectures and Secure Composition of Web Services. Mahantesh was leading the research efforts on the Tisa project. He can be reached at mahantes@cs.iastate.edu.

Rakesh B. Setty received his MS in Computer Science in Fall 2008. Prior to that he was a graduate student in the Department of Computer Science at Iowa State University, where he worked with Dr. Hridesh Rajan. His research interests at the time were in Aspect-Oriented Software Development. In his Masters thesis, Rakesh analyzed the test-driven development process in the context of aspect-oriented software development. He can be reached at rsetty@cs.iastate.edu.