Tayfun Elmas is a post-doctoral researcher at the Parallel Computing Laboratory (ParLab) at the University of California, Berkeley. His research interests are formal methods and tools for the debugging, analysis, and verification of concurrent software. Tayfun received his Ph.D. in Computer Engineering at Koc University (Istanbul, Turkey) in August 2010. His advisors were Dr. Serdar Tasiran (Koc Univ.) and Dr. Shaz Qadeer (Microsoft Research). Tayfun's recent work appeared at premier programming languages conferences (PLDI, POPL, TACAS), workshops (RV, FATES, PADTAD), and national conferences (UYMS, YKGS). His research is supported by the Scientific and Technological Research Council of Turkey (TUBITAK), the Turkish Academy of Sciences (TUBA) and Microsoft Research. The Goldilocks project he primarily involved was published in the November 2010 SIGPLAN CACM Research Highlights. Tayfun was an intern at Microsoft Research (Redmond,WA) during the summer of 2005 and 2007. He received his B.S. in Computer Engineering from Ege University (Izmir, Turkey) in September 2003, and M.S. in Electrical and Computer Engineering from Koc University in December 2005.