Cem Say

{{short description|Turkish computer scientist}}

Ahmet Celal Cem Say (born 14 March 1966 in Ankara) is a Turkish theoretical computer scientist and professor of computer science. He is a full time professor at the Boğaziçi University Department of Computer Engineering in Istanbul, Turkey. Cem Say is the author of the QSI algorithmA. C. Cem Say, Selahattin Kuru, "Qualitative system identification: Deriving structure from behavior," Artificial Intelligence Vol. 83, pp. 75-141, 1996. for qualitative system identification, an AI task relevant in the study of qualitative reasoning. His work in complexity theory includes studies on small-space quantum finite-state machines and new characterizations of the complexity classes NLA. C. Cem Say, Abuzer Yakaryılmaz, "Finite state verifiers with constant randomness," Logical Methods in Computer Science, Vol. 10(3:6)2014, pp. 1-17. and PH. Gökalp Demirci, A. C. Cem Say, Abuzer Yakaryılmaz, "The complexity of debate checking," Theory of Computing Systems, Vol. 57, pp. 36-80. in terms of verifiers modeled by finite-state machines allowed to use only a fixed number of random bits. He is also known for his advocacy of people wrongly accused with forged digital evidence,{{cite web | url=https://www.istanbulgercegi.com/prof-dr-cem-say-ozden-ornekin-anisina-darbe-gunlukleri-yalanini-yazdi_168254.html | title=Prof. Dr. Cem Say, Özden Örnek'in anısına 'darbe günlükleri' yalanını yazdı }} and his popular science books.

Education

Cem Say was born in Ankara in 1966. He finished the high school TED Ankara College in 1983. He graduated from Boğaziçi University's Department of Computer Engineering in 1987. He received his PhD in the same department under the supervision of Selahattin Kuru in 1992.[https://www.mathgenealogy.org/id.php?id=132959 Record in the Genealogy Project]

Academic career

He is a full-time professor at the Department of Computer Engineering in Boğaziçi University since 1992.[https://cmpe.boun.edu.tr/people/cem.say His professional webpage in Boğaziçi University]

He has been an active researcher, having published more than 80 scientific manuscripts with more than 700 citations.

Research areas

His research interests include theoretical computer science, quantum computing, artificial intelligence and natural language understanding.

= Representative scientific publications =

  • A.C.C. Say, S. Kuru "Qualitative system identification: deriving structure from behavior".[https://doi.org/10.1016/0004-3702(95)00016-X Qualitative system identification: deriving structure from behavior] Artificial Intelligence 83 (1), 75-141
  • A. Yakaryılmaz, A.C.C. Say "Unbounded-error quantum computation with small space bounds".[https://doi.org/10.1016/j.ic.2011.01.008 Unbounded-error quantum computation with small space bounds] Information and Computation 209 (6), 873-892

References

{{Reflist}}