She graduated from METU Department of Computer Engineering in 1999 and received her PhD degree from University of California Santa Barbara in Computer Science in 2005. Her research interests are automated software verification, model checking, reliable concurrent programs, web application testing. Sabancı University