Neha Rungta was awarded the BYU Graduate Research Fellowship for the Doctoral program for 2008-2009. The Graduate Research Fellowship award is a university award sponsored by Graduate Studies and is designed to support thesis and dissertation research and to encourage independent research, scholarly, and creative activity among graduate students.  Neha is a doctoral candidate in the CS department. Her research focuses on designing and developing new techniques for verification of concurrent software systems. Her adviser is Dr. Eric Mercer.