A. C. Cem Say
The reasonable man adapts himself
to the world; the unreasonable one persists in trying to adapt the world to
himself. Therefore, all progress depends on the unreasonable man.
George
Bernard Shaw
I
am a professor of computer science in Boğaziçi University. My research
interests are Artificial Intelligence,
(especially Qualitative Reasoning and Natural Language Processing,) and Quantum
Computation.
The courses that I have offered throughout my teaching career are varied,
and range from Introductory Programming to Advanced AI.
In "civilian" life, I am known as an overall nice guy with a
liking for science fiction, Western languages, and all kinds of funny things.
Full Name:
Ahmet Celal Cem Say.
Date and Place of Birth:
Pi Day, 1966, Ankara.
Nationality:
Turkish.
Married:
Happily.
Job Address:
Boğaziçi
University, Department of Computer
Engineering, Bebek, 34342, İstanbul,
Turkey.
Phone:
+90-212-3596628.
Fax:
+90-212-2872461.
Email:
say at boun dot edu dot tr
Erdös Number:
at most 6
- T.E.D. Ankara High School (1983)
- B.S. in Computer
Engineering from Boğaziçi University (1987)
- Ph.D. in Computer
Engineering from Boğaziçi University (1992)
- Turkish Army School of Communications,
Electronics and Information Systems (1995)
- High school scholarship of TÜBİTAK (Turkish Scientific &
Technological Research Institution)
- Ph.D. scholarship of TÜBİTAK
- University of Vienna Language School
Scholarship
- Italian Institute of Culture
Language School Scholarship
- 1987-1992 Boğaziçi
University, Department of Computer Engineering, Research Assistant.
- 1995-1996 Turkish Naval Inventory Control Center Command,
Supply Services Software Officer.
- 1992-1996 Boğaziçi
University, Department of Computer Engineering, Assistant Professor.
- 1996-2003 Boğaziçi
University, Department of Computer Engineering, Associate Professor.
- 2003-... Boğaziçi University, Department of
Computer Engineering, Professor.
(I have been seen in Işık,
Galatasaray, and Bilgi Universities as well.)
- Introductory Computing
& Programming,
- Java,
- Discrete Computational
Structures,
- Formal Languages and
Automata Theory,
- Introduction to
Artificial Intelligence,
- Natural
Language Processing,
- Theory
of Computation,
- Advanced Topics in
Theoretical Computer Science,
- Quantum Algorithms,
- Qualitative
Reasoning,
- Complexity Theory.
A. Journal Papers
- A. C. Cem Say, Selahattin
Kuru, “Improved
filtering for the QSIM algorithm,” IEEE Transactions on
Pattern Analysis and Machine Intelligence Vol. 15, pp. 967-971,
1993.
- A. C. Cem Say, Selahattin
Kuru, “Qualitative
system identification: Deriving structure from behavior,” Artificial
Intelligence Vol. 83, pp. 75-141, 1996.
- A. C. Cem Say, Selahattin
Kuru, “Postdiction using reverse qualitative simulation,” IEEE
Transactions on Systems. Man, and Cybernetics Part A: Systems and Humans Vol. 27, pp. 84-95, 1997.
- A. C. Cem Say,
“L'Hôpital's filter for QSIM,” IEEE Transactions on Pattern
Analysis and Machine Intelligence Vol. 20, pp. 1-8, 1998.
- A. C. Cem Say, “Making
use of contradictory behavior information in qualitative reasoning,”
IEEE Transactions on Pattern Analysis and Machine Intelligence Vol.
21, pp. 781-786, 1999.
- A. C. Cem Say, “Understanding
arithmetic problems in Turkish,” International
Journal of Pattern Recognition and Artificial Intelligence Vol. 15, pp. 359-374, 2001.
- A. C. Cem Say, "Improved
reasoning about infinity using qualitative simulation," Computing
and Informatics Vol. 20, pp. 487-507, 2001.
- A. C. Cem Say,
“Problems in representing liquid tanks with monotonicity
constraints: A case study in model-imposed limitations on the coverage of qualitative
simulators,” Artificial
Intelligence Review Vol. 17, pp. 291-317, 2002.
- A. C. Cem Say, “Sound and complete
qualitative simulation requires “quantitative”
filtering,” Annals of Mathematics and Artificial Intelligence
Vol. 38, pp. 257-267, 2003.
- Tolga Könik, A. C. Cem Say,
“Duration consistency filtering for qualitative simulation,” Annals
of Mathematics and Artificial Intelligence Vol. 38, pp. 269-309, 2003.
- A. C. Cem Say, H. Levent
Akın, “Sound and complete
qualitative simulation is impossible,” Artificial Intelligence Vol. 149,
pp. 251-266, 2003.
- A. C. Cem Say, A. Kutsi
Nircan, “Random generation of monotonic functions for Monte Carlo solution
of qualitative differential equations,” Automatica
Vol. 41, pp. 739-754, 2005.
- Özgür
Yılmaz, A. C. Cem Say, “Causes of ineradicable spurious
predictions in qualitative simulation,” Journal of Artificial Intelligence Research, Vol. 27, pp. 551-575, 2006.
B. Conference Papers
- A. C. Cem Say, Selahattin
Kuru, "Nitel model tanılama," (in Turkish) Bilkon-91 1991 Bilkent
Elektrik-Elektronik ve Bilgisayar Mühendisliği Konferansı, Ankara,
1991, pp. 363-366.
- A. C. Cem Say, Selahattin
Kuru, "Qualitative system identification," Lecture Notes in
Control and Information Sciences Vol. 180, (System Modeling and
Optimization: Proceedings of the 15th IFIP
Conference, Zürich, Switzerland, September 2-6, 1991),1992, pp.
657-666.
- A. C. Cem Say, Selahattin
Kuru, "An extension of the corresponding value technique in
qualitative modeling and simulation," Birinci Türk Yapay Zeka ve
Yapay Sinir Ağları Sempozyumu, Ankara, 1992, pp.23-28.
- A. C. Cem Say, Selahattin
Kuru, "QSI: Constructing models for qualitative simulation," Advances
in Simulation '92 Symposium, Boğaziçi Univ., İstanbul, 1992, pp.
37-46.
- A. C. Cem Say, Selahattin
Kuru, "Automatic construction of qualitative models," in Intelligent
Systems: Safety, Reliability, and Maintainability Issues,
Springer-Verlag, Berlin, 1993, pp. 177-193.
- Cem Say, Sidal Sen, Ruhver
Barengi, "'Bir Kelime - Bir İşlem' oynayan program," (in
Turkish) İkinci Türk Yapay Zeka ve Yapay Sinir Ağları Sempozyumu,
İstanbul, 1993, pp. 349-355.
- İlan Berker, A. C. Cem Say,
"A crossword puzzle generator for Turkish," Proceedings of
the Eighth International Symposium on Computer and Information Sciences
(ISCIS-VIII), İstanbul, 1993, pp. 474-477.
- Çiğdem Aytekin, A. C. Cem
Say, Erkut Akçok, "ELIZA speaks
Turkish: A conversation program for an agglutinative language," Üçüncü
Türk Yapay Zeka ve Yapay Sinir Ağları Sempozyumu, Ankara, 1994, p.
435.
- A. C. Cem Say, "Türkçe
'anlayan' programlar," (in Turkish) TBD Bilişim '94, İstanbul,
1994, pp. 191-195.
- Metin Örsel, A. C. Cem Say,
"Representing descriptions of flags," Proceedings of the
Ninth International Symposium on Computer and Information Sciences
(ISCIS-IX), Antalya, 1994, pp. 575-582.
- Müjdat Pakkan, A. C. Cem Say,
"Qualitative collision detection in the roller coaster world," Proceedings
of the Ninth International Symposium on Computer and Information Sciences
(ISCIS-IX), Antalya, 1994, pp. 583-590.
- Murat Işık, A. C. Cem Say,
"Qualitative noise filtering and the implementation of QF as a preprocessor
to QSI," Proceedings of the Tenth International Symposium on
Computer and Information Sciences (ISCIS-X), Aydın, 1995, pp. 145-152.
- A. C. Cem Say, "Functions
representable in pure QSIM," Beşinci Türk Yapay Zeka ve Yapay
Sinir Ağları Sempozyumu, İstanbul, 1996, pp. 251-255.
- A. C. Cem Say, "Qualitative
timeline analysis," in New Trends in Artificial Intelligence
and Neural Networks. EMO Scientific Books, Ankara, 1997, pp. 121-126.
- F. Canan Pembe, A. C. Cem
Say, “A linguistically motivated information retrieval system for
Turkish,” Lecture Notes in Computer Science Vol. 3280, (Proceedings of the Nineteenth
International Symposium on Computer and Information Sciences), 2004,
pp. 741-750.
- Uğur Küçük, A. C. Cem Say,
“Improved simulation of quantum random walks,” Lecture
Notes in Computer Science Vol. 3733, (Proceedings of the Twentieth International Symposium on Computer
and Information Sciences), 2005, pp. 937-946.
C. Technical Reports
- Reha Kamil Gerçeker and A. C.
Cem Say, “Using polynomial approximations to discover qualitative
models,” Proceedings of the 20th
International Workshop on Qualitative Reasoning. Editors: Chris Bailey-Kellogg and
Benjamin Kuipers, pp. 71-80, Darthmouth College,
Hanover, New Hampshire, USA, 2006.
- Nuri Taşdemir and A. C. Cem Say, “Provably spurious
qualitative simulation predictions that just won’t go away,” Proceedings
of the 21st International
Workshop on Qualitative Reasoning. Editor: Chris Price, pp. 170-180, Aberystwyth, UK,
2007.
D. Books
- M. Ufuk Çağlayan, Fedon Kadifeli, A. C. Cem Say. Standard
C Programming. Boğaziçi University Publications, 1989.
- Fedon Kadifeli, A. C. Cem
Say, M. Ufuk Çağlayan. Standart C Programlama Dili (in Turkish).
Sarmal Yayınları, 1993. (Translated and updated from (1) by F. Kadifeli.)
E. Edited Volumes
- Selahattin Kuru, H. Levent
Akın, A. C. Cem Say, Ethem
Alpaydın (Eds.). İkinci Türk Yapay Zeka ve Yapay Sinir Ağları
Sempozyumu Bildiriler. Boğaziçi Üniversitesi, İstanbul, 1993.
- A. C. Cem Say, Günhan Dündar
(Eds.) Proceedings of the Eighth Turkish Symposium on Artificial
Intelligence and Neural Networks. Boğaziçi Üniversitesi, İstanbul,
1999.
F. Miscellaneous
- A. C. Cem Say, "Sen de
mi şair oldun ey bilgisayar?" Çağrı Dergisi, no. 400, 1993, p.
9.
- A. C. Cem Say, "Sıcak
bir TAINN günü" Beşinci Türk Yapay Zeka ve Yapay Sinir Ağları
Sempozyumu, İstanbul, 1996, p. 381.
- Cem Say, "Akla
doğru" Cogito, no. 13,
1998, pp. 67-74.
- Cem Say,
“Gödel’in eksiklik teoremi” Matematik Dünyası, Yıl 14, Sayı 4, 2005, 67-71.
- Cem Say, “Nitel
benzetim” Türkiye Bilişim
Ansiklopedisi. TBV-Papatya Yayıncılık Eğitim, 611-615, 2006.
Doctoral Dissertation: Qualitative
System Identification. Boğaziçi University, 1992.