Hello, I am a PhD candidate and a third year student in Computer Science department at University of California, Santa Barbara (UCSB). I'm a member of Verification Lab where I am being advised by Prof. Tevfik Bultan. Before joining UCSB, I received my Bachelor degrees in Computer Engineering and Electric-Electronics Engineering (double major) from Fatih University in 2009. I spent two years in software development after my graduation.
My current research interests are automated software verification, automated testing, web application security, string analysis and model driven development. My recent work focuses on analysis of web applications using automata based symbolic string execution techniques for several purposes such as security, web application dependability. Currently, I am working on differential analysis of web applications for patching validation and/or sanitization routines.
Other than research and development, I enjoy playing soccer, surfing (need more practice), traveling around, and exploring new places with my wife Yasemin.
Does my code have bugs? Is it doing what I am intended to do?
Less manual effort, less time... How is that possible for testing?
Can we have better abstractions with verification in mind?
What does your application do with input strings? Can it handle them in a secure way?