Laboratory for Software Design

John Altidor is a graduate student in the Department of Computer Science at Iowa State University. John is currently looking for a research topic. He can be reached at jaltidor@iastate.edu.

Robert Dyer is a graduate student in the Department of Computer Science at Iowa State University. 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. 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. His research interests are in programming languages , compilation techniques, and computer architecture. Viswanath is currently looking for a research topic. He can be reached at viswa@cs.iastate.edu.

Juri Memmert is a graduate student in the Department of Computer Science at Iowa State University. His research interests are in Software Engineering, in particular program comprehension techniques and semi-automatic concern model generation. Juri is currently leading the research efforts on the Osiris project. He can be reached at jpm@cs.iastate.edu.

Tyler Sondag is a graduate student in the Department of Computer Science at Iowa State University. His research interests are in programming languages design and implementation, in particular parallel programming languages and parallelizing compilers. He can be reached at sondag@cs.iastate.edu.

Mahantesh Hosamani is a graduate student in the Department of Computer Science at Iowa State University. His research interests are in Verification techniques for Service Oriented Architectures and Secure Composition of Web Services. Mahantesh is currently leading the research efforts on the Tisa project. He can be reached at mahantes@cs.iastate.edu.

Harish Narayanappa is a graduate student in the Department of Computer Science at Iowa State University. 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. 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. 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. 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