Paper: Nachum Dershowitz and Yuri Gurevich, "A Natural Axiomatization of Computability and Proof of Church's Thesis"
https://doi.org/10.2178/bsl/1231081370
Prof. Prahladh Harsha has been appointed as the Editor-in-Chief of ACM's Transactions on Computation Theory journal.
Siddharth Sandipkumar Bhandari is the recipient of the ACM India 2022 Doctoral Dissertation Award for his dissertation titled “Exact Sampling and L
Kumar Saurav, a graduate student at the School of Technology and Computer Science has been invited by ACM-India's Academic Research and Careers for
