He graduated from Ege University, Department of Mathematics in 1992. In the same establishment, he completed his master thesis “On the Elimination of Quantifiers” in 1995 and he got his Ph.D “Analysis of the Deduction Rules for Nonstandard Logics” in 1999 under supervision of Professor Mehmet Terziler. He gave several talks at national and international meetings. He is the head of the Section of Foundations of Mathematics and Mathematical Logic. He was vice head of Mathematics Department from 2005 to 2008 and from 2011 to 2016. He has ten books, one is a monograph and the others are translations from English on mathematics. He has four projects supported by Ege University. He is advisor of three Ph.D and twelve master theses. He won TEÇEP award from Turkish Academy of Science in 2012.