SELÇUK TOPAL received the M.Sc. and Ph.D. degrees in mathematics (Foundations of Mathematics and Mathematical Logic) from Ege University, Turkey. He was a Visiting Scholar with Indiana (USA) and Calabria (Italy) Universities. He is currently an Associate Professor of mathematics with Bitlis Eren University, Turkey.
His general area of interest is applied logic: the study of mathematical and conceptual tools for use in computer science, linguistics, artificial intelligence, and other areas. Details to follow: In general, he is interested in exploring logics and formal semantics in fragments of natural languages and algebraic structures, proof search algorithms, and implementations of the logics. These explorations allow us to discover new algebraic structures, graph algorithms and new calculations. Studying topological, algebraic and geometric applications of neutrosophic sets, rough sets, and fuzzy sets. Computational Logic (Ontology-based systems, analysis of artificial intelligence, and logic systems) Python, C++, Haskell programming languages. Mathematical investigations in quantum mechanics. Data analysis, computational models and decision making algorithms of uncertain data. Applications of the analysis in medicine. Recently, he is interested in blockchain techs, linear logic, data science, and logical methods in deep learning.