Department of Computer Science

Laboratory for Software Design


The research and educational activities described on these pages has been supported in part by the US National Science Foundation (NSF) under grants CCF-11-17937, CCF-10-17334, CNS-07-09217, CNS-06-27354, and a CAREER award 08-46059.

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or hridesh@iastate.edu.

PhD Students

Mehdi Bagherzadeh

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.

Youssef Hanna

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

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.

M.S. Students (includes PhD students who have not yet completed MS)

Sarah Kabala

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.

Eric Lin

Eric Lin is a graduate student in the Department of Computer Science at Iowa State University where he works with Dr. Hridesh Rajan. Eric is contributing to the design and implementation of the Panini language, where he is primarily interested in compilation strategies and optimizations. He can be reached at eylin@iastate.edu

Sean Mooney

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

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

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.

Undergraduate Students

Rex Fernando

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