Laboratory for Formal Languages And VERification (FLAVER)

Steven Beckert (Aug 2005 - May 2006: Freshman Honors Program) was a Freshman Honors undergraduate student at Iowa State University. He was interested in aspect-oriented programming at the time. He contributed to developing a visual studio integration for initial versions of a compiler that generated intermediate code in the Nu intermediate language model. He can be reached at sbeckert@iastate.edu

Ian Guffy (May 2006 - Dec 2006: Undergraduate researcher) is a Senior undergraduate student at Iowa State University. He was interested in the Slede project. He can be reached at ianguffy@iastate.edu

DeVaughn Lauderdale (May 2007 - July 2007: Iowa AGEP Intern) is a Senior undergraduate student at Kentucky State University. He is interested in worst case analysis of memory and battery power consumption of nesC programs and has started contributing to the Slede project. He can be reached at dclauder@cs.iastate.edu

Hua Ming (Sep 2006 - Feb 2007: Graduate Researcher) is a graduate student in the Department of Computer Science at Iowa State University. His research interests are in aspect-oriented programming. Hua is currently looking for a research topic. He can be reached at hming@cs.iastate.edu.

Brian Peck (Sep 2006 - May 2007: Freshman Honors Program) is a Freshman Honors undergraduate student at Iowa State University. He is currently looking for a research area to make contributions. He can be reached at bpeck@iastate.edu

Ivan Rook (Aug 2005 - May 2006: Freshman Honors Program) was a Freshman Honors undergraduate student at Iowa State University. He was interested in aspect-oriented programming and generative programming techniques at the time. He contributed to developing a visual studio integration for initial versions of a compiler that generated intermediate code in the Nu intermediate language model. He can be reached at ivanrook@iastate.edu

Abhishek Sinha (Aug 2006 - Feb 2007: Graduate Researcher) is a graduate student in the Department of Computer Science at Iowa State University. His research interests are in programming language constructs for parallelism and concurrency. Abhishek is currently looking for a research topic. He can be reached at abhishek@iastate.edu.

Alyson Young (Oct 2006 - May 2007: Undergraduate researcher) is a Senior undergraduate student at Iowa State University. She is interested in program comprehension, automatic concern model extraction and has started contributing to the Osiris project. She can be reached at ayoung11@iastate.edu