Savaş Takan

Savaş Takan

He recieved A.S. in Computer Programming at 9 Eylül University and his B.Sc. and M.Sc. in Computer Engineering Department of Izmir Institute of Technology. Currently, He is pursuing his Ph.D. in Computer Engineering and working with Assist. Prof. Dr. Tolga Ayav in Dependable Components and Systems Lab. at Izmir Institute of Technology.

His current research interests are: Formal Methods for Software Testing, Algorithms, Data Structures.

  • B.Sc. : Computer Engineering, Izmir Institute of Technology ()
  • M.Sc. : Computer Engineering, Izmir Institute of Technology ()
  • Ph.D. : Computer Engineering, Izmir Institute of Technology (ongoing)

Conference Paper

  • Takan, S., Güler, B., Ayav, T., “Model Checker-Based Delay Fault Testing of Sequential Circuits,” Workshop on Dependability and Fault Tolerance, VERFE 2015.

There aren't any projects.

  • IZTECH Computer Engineering Dept., Gulbahce, 35430 Urla, İzmir, Turkey
  • 105
  • savastakan@iyte.edu.tr
  • +90 232 750 7849