Laboratory for Formal Languages And VERification (FLAVER)

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.

Junaid Babar is a graduate student in the Department of Computer Science at Iowa State University, where he works with Dr. Andrew Miner and Dr. Samik Basu exploring the use of Multi-valued Decision Diagrams (MDDs) for model-checking and performance analysis, and building a MDD library that incorporates their recent work. He can be reached at junaid@cs.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.

Ru He is a graduate student in the Department of Computer Science at Iowa State University, where he works with Dr. Samik Basu exploring the use of probabilistic model checking techniques for multi-party contract signing protocols. He can be reached at rhe@cs.iastate.edu.

Yaping Jing is a graduate student in the Department of Computer Science at Iowa State University, where she works with Dr. Andrew Miner on various techniques for the analysis of system performance and reliability. She is currently working on formal methods and simulation against stochastic models. She can be reached at yaping@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.

Saayan Mitra is a graduate student in the Department of Electrical and Computer Engineering at Iowa State University, where he works with Dr. Ratnesh Kumar and Dr. Samik Basu exploring automata theoretic approach to Web Service Composition. He can be reached at saayan@iastate.edu.

Juri Memmert 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 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, 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.

Mahantesh Hosamani 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 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, , 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