Introduction I am a software engineer at Google Inc. This site contains my academic work before I joined Google. Before Google, I was a post-doctoral researcher supervised by Dr. Koushik Sen, in the Parallel Computing Laboratory (ParLab) at UC Berkeley . In my research, I worked on developing methods and tools for debugging and verification of concurrent software. I am an alumnus of the Koc University Research Center for Multicore Software Engineering. I received my Ph.D. in Computer Engineering at Koc University in August 2010. My advisors were Dr. Serdar Tasiran (Koc University) and Dr. Shaz Qadeer (Microsoft Research). This web site contains material describing the work I produced during my graduate study; also see myresearch statement. Outline In this page, I briefly overview my recent research work. You can learn more about my work by reading my papers, looking at my talk slides, or visiting our lab's web site. My teaching experience can be found here. This site also provides my short biography and contact information. I try to provide links to recent and upcoming events related to my research field. Research interests My research interests are formal methods, algorithms, and tools for the debugging, analysis, and verification of concurrent software. I focus on concurrent implementations of data structures and services that form the backbone of many widely-used systems such as databases, Internet servers, and file systems. Concurrency-related bugs are difficult to detect, reproduce, and diagnose using code review and testing-based techniques originally developed for sequential programs. This difficulty creates demand for new program analyses that are capable of examining the software with high coverage of its executions and catching subtle bugs. My research goal is to develop methods and software tools to respond to this demand, selecting between runtime and static techniques that best fit the objectives of the work. Research projects Recent projects:
During my graduate study at Koc University, I led both the technical and practical development of three projects. More information about them and my earlier projects can be found here.
Conclusion This web site mostly contains information about my professional life in Computer Science research. If you are also interested in my non-professional life, please visit here. |