Dr. Saeed Salehi is a distinguished mathematician and computer scientist specializing in Mathematical Logic, Theoretical Computer Science, and Philosophy of Mathematics.
An accomplished academic, Dr. Salehi holds dual Ph.D. degrees - in Theoretical Computer Science from the University of Turku, Finland, and in Mathematical Logic from the Polish Academy of Sciences. He completed his B.Sc. in Pure Mathematics with distinction from Sharif University of Technology, Iran.
Prior to joining Plaksha, he served as an Associate Professor at the University of Tabriz and was a researcher at the Institute for Research in Fundamental Sciences (IPM), Iran. His research contributions span across computability theory, proof theory, and mathematical logic, with over 30 refereed journal publications.
Dr. Salehi has supervised numerous Ph.D. and master's theses and is known for his expertise in teaching advanced courses in mathematical logic, computability theory, and foundations of mathematics. His work bridges the theoretical foundations of computer science and mathematics, contributing significantly to both fields.
