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 software specification and verification and in programming language design and implementation. Mehdi is currently working on the notion of translucid contracts in the context of the Ptolemy programming language. He also contributes to 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 obtained his M.S. degree in Fall 2008 and his thesis title was "Supporting flexible, dynamic deployment of aspect-oriented features". 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 obtained his M.S. degree in Fall 2008 and his thesis title was "Slede: verification of sensor network security protocols." Youssef is currently leading the research efforts on the Slede project. He can be reached at ywhanna@iastate.edu.

Yuheng Long 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 concurrent programming languages and in program analysis. He is contributing to the Panini project. Yuheng obtained his M.S. degree in Fall 2010 and his thesis title was "Implicit invocation meets safe, implicit concurrency." He can be reached at csgzlong@iastate.edu.

Ali Darvish 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, concurrent programming, and programming language design and implementation. Ali is currently working on the Panini project. He can be reached at ali2@iastate.edu.

Sean Mooney 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 software modularity and maintainability. He can be reached at smooney@iastate.edu.

Ganesha Upadhyaya is a graduate student in the Department of Computer Science at Iowa State University. He has been in the graduate program since August 2010. His interests are in parallel programming and implicitly concurrent programming languages. He can be reached at ganeshau@iastate.edu.

Rex Fernando is an undergraduate student at Iowa State University where he is majoring in computer science. Rex is contributing to the design and implementation of the Panini compiler. He is also learning about the goals of the Panini project. He can be reached at fernanre@iastate.edu

Marjorie Volk is an undergraduate student at Iowa State University where she is majoring in computer science. She is currently learning about the Panini project. She can be reached at mavolk@iastate.edu