Professional Activities
- Conference Co-Chair of International Symposium on Parallel and Distributed Computing ISPDC 2010.
- Technical Program Committee member of Design Automation and Test in Europe Conference DATE 2010.
- Organizing Committee and Program Committee member of International Workshop on Microprocessor Test and Verification MTV 2005, 2006, 2007, 2008, 2009.
- Program Committee member of International Conference on Distributed Computing and Networking ICDCN 2009.
- Program Committee member of International Conference on Formal Methods in Computer-Aided Design FMCAD 2008.
- Organizing Committee member of International Conference on Formal Methods in Computer-Aided Design FMCAD 2007.
- Verification Session Chair of Semiconductor Research Corporation TECHCON 2007.
- Invited speaker at Workshop on Verification and Debugging (V&D) 2006.
- Verification Technical Advisory Board member in Semiconductor Research Corporation (SRC) 2006-2009.
- Senior Member of IEEE.
- Member of Computer Architecture and Systems Laboratory. (CASLAB)
- Member of ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) .
- Member of Graduate Students Admissions Committee, Bogazici University, Department of Computer Engineering.
- Member of Ph.D. Qualifying Exam Committee, Bogazici University, Department of Computer Engineering.
- Student Internships Faculty Advisor, Bogazici University, Department of Computer Engineering.