Professional Activities
- Technical Program Committee Co-Chair of International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design SMACD 2015.
- Local Arrangements Chair of International Conference on Architectural Support for Programming Languages and Operating Systems ASPLOS 2015.
- Workshop Co-Chair of International Workshop on Design and Implementation of Formal Tools and Systems DIFTS 2013,2014.
- Program Committee member of IFIP/IEEE International Conference on Very Large Scale Integration VLSI-SOC 2013,2014.
- Program Committee member of Forum on Specification and Design Languages FDL 2013,2014.
- Program Committee member of International Symposium on Parallel and Distributed Computing ISPDC 2011, 2012, 2013.
- Technical Program Committee member of Design Automation and Test in Europe Conference DATE 2010, 2013, 2014.
- Program Committee member of IEEE International High Level Design Validation and Test Workshop (HLDVT) HLDVT 2011, 2012.
- Conference Co-Chair of International Symposium on Parallel and Distributed Computing ISPDC 2010.
- Organizing Committee and Program Committee member of International Workshop on Microprocessor Test and Verification MTV 2005-2012.
- 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.
- European Commission FP7 National Expert in Information and Communication Technologies (ICT)
- Vice-Chair IEEE Turkey Section, 2010-2011. Senior Member of IEEE.
- Verification Technical Advisory Board member in Semiconductor Research Corporation (SRC) 2006-2009.
- Member of Computer Architecture and Systems Laboratory. (CASLAB)
- Member of ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) .
- Member of European Network of Excellence on High Performance and Embedded Architecture and Compilations (HIPEAC) .
- Program Coordinator, Software Engineering Graduate Program.
- Member, Engineerng Faculty Board Member.
- Member and Chair of Ph.D. Qualifying Exam Committee, Bogazici University, Department of Computer Engineering.
- Graduate Advisor (MS students), Bogazici University, Department of Computer Engineering.
- Student Internships Faculty Advisor, Bogazici University, Department of Computer Engineering.