Laboratory for Software Design

John Altidor is a graduate student in the Department of Computer Science at Iowa State University, where he works with Dr. Hridesh Rajan on design, semantics and implementation of programming languages. John is currently looking at programming language interoperability issues, in particular, between type-safe and unsafe languages. He can be reached at jaltidor@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.

Viswanath Krishnamurthy 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, compilation techniques, and computer architecture. Viswanath is currently looking at efficient techniques for assignment of threads to multi-core processors. In particular, he is interested in a class of multi-core processors called heterogeneous processors, where resource availability may vary between cores. He can be reached at viswa@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.

Rakesh B. Setty 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 and Software Engineering. Rakesh is currently looking for a research topic. He can be reached at rsetty@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.