Members

Faculty

Graduate Students

PhD Students
  • Yavuz Koroglu, PhD student

    Topics: Software Testing and Verification

  • Hasan Ferit Eniser, PhD student
  • Lokman Altın, PhD student
  • Edona Fasllija, PhD student
MS Students
  • Dursun Ahmet Keleş, MS student
  • Ozlem Akbas, MS student
  • Mustafa Efendioglu, MS student
  • Ahmet Gul, MS student

Alumni

  • Orkun Saglamdemir, PhD completed 2017 (co-supervised with Prof. Gunhan Dundar), employed by Dialog Semiconductor
  • Serkan Kirbas, PhD completed 2017 (co-supervised with Prof. Tracy Hall), employed by Bloomberg
  • Hasan Ferit Eniser, MS completed 2017, currently PhD student at Bogazici University
  • Yavuz Koroglu, MS completed 2016, currently PhD student at Bogazici University
  • Mehmet Kose, MS completed 2016, currently PhD student at Bogazici University

    Topics: Mutation Testing for Concurrent Programs

  • Etem Deniz, MS completed 2011, PhD completed 2015, employed by TUBITAK

    Topics: Synthetic multicore benchmark generation, Performance Evaluation, Verification and coverage of message passing applications,

  • Onder Kalaci, MS completed 2014, employed by Citus Data

    Topic: Dynamic Race Detection in Concurrent Programs

  • Gokcehan Kara, MS completed 2014, PhD student at Bogazici University

    Topic: System Level Synthetic Benchmarks for Multicore Architectures

  • Dogan Ulus, MS completed 2013 (co-supervised with Prof. Faik Baskaya), PhD student at Verimag

    Topic: Assertion Based Verification of Analog Mixed Signal Designs

  • Marcelo Sousa, MS completed 2012 (co-supervised with Prof. Wishnu Prasetya, University of Utrecht), PhD student at Oxford University

    Topic: A Framework for Formal Verification of Concurrent Software

  • Yavuz Koroglu, BS graduation project completed 2013, MS completed 2016, PhD student at Bogazici University

    Topic: Hardware Assisted Dynamic Data Race Detection

  • Baris Aksanli, BS graduation project completed 2010, PhD student at UCSD

    Topic: Parallelizing Cycle Based Simulation with GPUs