A. C. Cem Say
Completed Projects
2021 Spring
Approaches to Improving the Upper Bound for the Minimal Synchronizing Word Length in Finite Automata
Students: Berke Can Gürer
Advisors: A. C. Cem Say
Proofs checkable by small quantum machines
Students: Nevzat Ersoy, Özdeniz Dolu
Advisors: A. C. Cem Say
2019 Fall
Proofs Checkable by Small Quantum Machines
Students: Özdeniz Dolu, Nevzat Ersoy
Advisors: A. C. Cem Say
