Kuramsal bilgisayar bilimiyle, onun da daha çok giriş teori derslerinden tanıdığımız sonlu bellekli (finite state), yığıt (pushdown) makineler gibi basit modellerinin olasılıksal ve kuantum sürümlerinin hesaplama güçlerinin araştırılmasıyla ilgili kısmıyla ilgileniyorum.

Bu konuda Abuzer Yakaryılmaz’la yaptığımız çalışmalardan kimileri arxiv.org’da bulunabilir:

1. arXiv:1007.3624 Unbounded-error quantum computation with small space bounds

2. arXiv:0903.0050 Succinctness of two-way probabilistic and quantum finite automata

3. arXiv:0902.2081 Languages recognized by nondeterministic quantum finite automata

… ve diğerleri.

Bu çalışmaların türevlerini, veya kimi “büyük” fikirlerin sonlu bellekli makinelere uyarlanmasıyla çıkan modelleri içeren bitirme projelerinin veya yüksek lisans tezlerinin danışmanlığını yapabilirim.

Bu konuya girmek için herhangi bir fizik bilgisi gerekmiyor, matematiği sevmek ve özellikle bizim bölümün teori derslerini anlamış olmak yeterli.

Kuantum olmayan teori konuları da olabilir, bir fikir almak için araştırma görevlisi Nuri Taşdemir’le görüşebilirsiniz.

Sizin önerebileceğiniz diğer fikirlere de açığım.

İlgilenenler bir görüşme ayarlamak için bana eposta mesajı yazabilir.

Doktora tezi konuları için yukarıdaki cümleye bakınız.