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 Boa 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.

Sarah Kabala 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 parallel heterogeneous computing and GPU programming. Sarah is currently working with the Sapha project to explore GPU phase assignment for data parallel program regions. She can be reached at skabala@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.

Lorand Szakacs 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 concurrency and parrallelism, with focus on easing the development of reliable software that scales to multi-core processors by means of programming languages implementation and design. Lorand is currently working on the Panini programming language. He can be reached at lorand@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

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