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-14-23370, CCF-13-49153, 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.

Samantha Khairunnesa

Samantha S Khairunnesa 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 mining software repositories and programming languages. Samantha is currently working with the Boa project and exploring support for Git repositories in the Boa infrastructure. She can be reached at sammy@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.

Nitin Tiwari

Nitin Tiwari 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. He can be reached at nmtiwari@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.

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

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.

Undergraduate Students

Sambhav Srirama

Sambhavi P Srirama is an undergraduate student at Iowa State University where he is majoring in computer science. Sambhav is contributing to the design and implementation of the Eclipse IDE for the Boa infrastructure. He is also learning about the goals of the Boa project. He can be reached at ssrirama@iastate.edu

Shang Liu

Shang Liu is an undergraduate student at Iowa State University where he is majoring in computer science. Shang 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 shangliu@iastate.edu