New paper alert! I prove the existence of two infinite hierarchies of time complexity classes of problems solvable by small-space quantum computers, and provide an improved polynomial-time quantum advantage result. Gift link (until Jan. 15): kwnsfk27.r.eu-west-1.awstrack.me/L0/https:%2F...

21 Ekim 2025 Boğaziçi Üniversitesi Akademisyenleri Nöbeti no. 1179. Direnişin 5. yılı/1752. günü Boğaziçi Üniversitesi'nde #KabulEtmiyoruzVazgeçmiyoruz October 21, 2025 Boğaziçi University Faculty Vigil #1179/5th year/1752nd day of the resistance. At Boğaziçi Univ. #WeDoNotAcceptWeDoNotGiveUp!

Bu topraklarda ne sökmez biliyor musunuz? Namertlik sökmez namertlik…

Boğaziçi Ü. yönetiminin bir hukuksuzluğu daha mahkemeden döndü: Seçilmiş üyesi olduğu Senato toplantısına girmesi güvenlik görevlilerine engelletilen Prof. Dr. Ünal Zenginobuz'un açtığı davada yürütmeyi durdurma kararı çıktı; o Senato toplantısında alınan tüm kararlar iptal oldu. 🇹🇷🏆💝⚖️

Babam Cemil Say, 13 Kasım 1937'de Atatürk'ün kendi türettiği Türkçe terimlerle geometri dersi verdiği Sivas Lisesi 9-A sınıfı öğrencilerindendi. Büyük bir mutlulukla anlatırdı. Onların izinden gidiyoruz. #BabalarGünü

Hani Boğaziçi Üniversitesi Bilgisayar Mühendisliği Bölümü Bilgisayar Bilimleri Anabilim Dalı Başkanlığından hukuksuzca alınmış, mahkeme kararıyla geri gelmiş, ertesi gün yine görevden alınmış, yine dava açmış, sonunda tekrar seçilip görevime dönmüştüm ya? Bilin bakalım ne oldu 😃

Kanuna göre Türkiye'de bütün üniversitelerde profesörler Fakülte Kuruluna katılacak temsilcilerini seçimle belirler. Bilin bakalım Boğaziçi Üniversitesi Mühendislik Fakültesinde kim aday oldu diye yasa çiğnenerek 6 aydır seçim yaptırılmıyor?

New paper on sublogarithmic-space quantum Merlin-Arthur: arxiv.org/abs/2505.084...

Özledim Anne

Our paper "Unconditional Proofs of Quantumness Between Small-Space Machines" (with Utkan Gezer) has just been published in Quantum Information & Computation. Comments welcome. Here is the link: sciendo.com/article/10.2...

istanbul 6. asliye ceza mahkemesinden örnek karar. tutuklu olan 5 genç hakkında 2911 sayılı yasanın alt ve üst sınırı da göz önünde bulundurularak tahliye kararı verildi.

Bugün Ekrem İmamoğlu'na destek vermek için Türk öğrenciler değerli bir etkinlik düzenlemişler. Eyleme Bologna Belediye Başkanı da katılmış ve konuşma yapmış. Ayrıca Bologna Belediye binasına da İmamoğlu için destek sözleri içeren pankartlar asılmış. Tüm dünya demokratları bizimle.

AK Parti ve MHP’ye oy veren vicdanlı kardeşlerime sesleniyorum. Herkes için, her zaman adalet.

Burada toplu block uygulaması var. Dünyanın en iyi uygulamasi. Mesela şu listeye girip sağ üstte tıklarsanız bir sürü zebaniyi tek seferde bloklayabilirsiniz. Önce isimlere bakın tabii, belki bloklamak istemedikleriniz vardır bsky.app/profile/did:...

New paper; comments welcome.

Bugün. 1024. kez.

Bu ülkenin en çalışkan gençlerinin torpilsiz hocalardan nitelikli eğitim alabildikleri gerçek, özgür, özerk bir üniversiteleri olabilsin diye.

20 Ocak 2025. 1001. kez.

The Joint Mathematics Meeting had the theme: "We Decide Our Future: Mathematics in the Age of AI" Or will the future be decided for them. blog.computationalco...

Bugün. 999. kez.

Bugün. 998. kez.

Bugün.

Bugün.

Bugün. Beşinci yıldayız. #ÖzerkÖzgürDemokratikÜniversite için #KabulEtmiyoruzVazgeçmiyoruz

"Spoilsports with no interest in time travel may view our results as concerning the robustness of the class BPP_path and the computational complexity of sampling from an implicitly defined Markov chain." drops.dagstuhl.de/entities/doc... (by @booleananalysis.bsky.social and Cem Say)

Anayasa emri olan üniversite özerkliğine kavuştuğumuz, siyasi sadakatin değil, liyakatin gözetildiği bir yeni yıl dileriz.

Hani Boğaziçi Üniversitesi Bilgisayar Mühendisliği Bölümü Bilgisayar Bilimleri Anabilim Dalı Başkanlığından iki kez üst üste alınmıştım ya? Bugün yine başkan seçildim. Bana güvenen değerli meslektaşlarıma teşekkür ederim. Dekan, yönetmeliğe göre seçilen başkanı bir hafta içinde atamak zorunda.🙂

News! Can a quantum computer P convince a polynomial-time classical verifier V that P is really a quantum machine, and not a classical machine that's running an algorithm unknown to V? We build "unconditional proofs of quantumness" within common space bound o(log log n). arxiv.org/abs/2412.02662

Öğretmenler Gününüz kutlu olsun.

Bugün.

İntihalsiz, torpilsiz.