Ahmet Çevik is Associate Professor of logic and foundations of mathematics, working in both mathematical and philosophical domains. He holds a Ph. D. from the University of Leeds, UK. Ahmet was postdoctoral visitor in the Department of Mathematics at the University of California, Berkeley. He has lectured at Middle East Technical University and is affiliated with the Gendarmerie and Coast Guard Academy, in Ankara, Turkey. His research interests are mathematical logic, recursion theory, theoretical computer science, and philosophy of mathematics.
