
Position and Affiliation
 Teaching:
 Associate Professor of Mathematics (Logic & Computer Science) at the
University of Tabriz, Tabriz, Iran (2013—Present).
 Assistant Professor of Mathematics (Logic & Computer Science) at the
University of Tabriz, Tabriz, Iran (2007—2013).
 Research:
 Associate Researcher (nonresident)
at the Logic Group, School of Mathematics,
Institute for Research in Fundamental Sciences, Tehran, Iran (2007—2008, 2010—Present).
Education and Degrees
 Postgraduate Studies:
 Ph.D. in
Theoretical Computer Science, from
Department of Mathematics and Statistics, University of Turku,
under the supervision of Professor Magnus Steinby,
Turku, Finland (2005).
 Ph.D. in Mathematical
Logic, from Institute of Mathematics, Polish Academy of Sciences,
under the supervision of Professor Zofia Adamowicz,
Warsaw, Poland (2002).
 Graduate Studies:

Undergraduate Studies:
Referee and Reviewer
 Refereed Papers for:
 Iran National Science Foundation (INSF).
 Theoretical Computer Science (ELSEVIER).
 Notre Dame Journal of Formal Logic (NDJFL).
 International Journal of Foundations of Computer Science
(World Scientific).
 Proceedings of the 13th International Conference on
Automata and Formal Languages,
AFL'11, 1722 August 2004, Debrecen, Hungary (Mathematics & Computer Science,
Nyíregyháza College).
 Proceedings of the 31st International Colloquium on Automata,
Languages and Programming,
ICALP'04, 1216 July 2004, Turku, Finland (Springer Lecture Notes in Computer Science,
Vol. 3142).
 Reviewer for:
 Mathematical Reviews (MR) of the
American Mathematical Society (AMS).
 Zentralblatt MATH (Zbl)
of the European Mathematical Society (EMS).
Honors and Awards
 The first rank in the national Mathematical Olympiad of University Students
(in both the first and second rounds) Iran 1997.
 The first ranked graduate of Mathematics (from Sharif University of Technology, Tehran) Iran 1997.
 Tableau from the Minister of Culture and High Education (in Farsi).
 One of the top undergraduate students in Sharif University of Technology, Tehran, Iran 1996.
 Tableau from the Dean of the University (in Farsi).
Conferences and Visits
 Organization:
 Chair of Tabriz Seminar on Mathematical Logic,
University of Tabriz, Iran, 27–28 October 2010.
 A member of the Scientific Committee of the
38th Annual Iranian Mathematics Conference (AIMC'38),
Zanjan University, Zanjan,
Iran, 3–6 September 2007 (head of the section for "Theoretical Computer Science and Mathematical Logic").
 Invited Talks/Lectures:
 In the 3rd International Conference on Contemporary Issues in Computer and
Information Sciences (CICIS 2012),
the Institute for Advanced Studies in Basic Sciences (IASBS), Zanjan, Iran, 29–31 May 2012.
 In Foundations and Trends in Computer Science
(FTCS'08),
winter school by IPM School of Computer Science and
United Nations University, IPM, Tehran, Iran, 31 January – 10 February 2008.
 In IPM Logic Conference (IPMLC'07),
IPM, Tehran, Iran, 10–15 June 2007.
 In Algebraic Theory of Automata and Logic (ATAL'06),
a workshop organized by
Z. E'sik, H. Straubing, P. Weil and Th. Wilke, as a satellite event of the conference
Computer Science Logic 2006 (CSL'06), Szeged,
Hungary, 30 September – 1 October 2006.
 Contributed Talks:
 In Frontiers in Mathematical Sciences—A Conference in Honor of Siavash Shahshahani,
(Front'91),
Sharif University of Technology, Tehran, Iran, 25–27 December 2012.
 In the 14th Congress of Logic, Methodology and Philosophy of Science
(CLMPS'2011),
Nancy, France, 19–26 July 2011.
 In the ASL European Summer Meeting, Logic Colloquium
(LC'11),
Barcelona, Spain, 11–16 July 2011.
 In the International Workshop on Logical Approaches to Barriers in
Computing and Complexity (LogApp2010),
Greifswald, Germany, 17–20 February 2010.
 In the 38th Annual Iranian Mathematics Conference
(AIMC'38),
Zanjan University, Zanjan,
Iran, 3–6 September 2007.
 In the 28th International Symposium on Mathematical Foundations of Computer Science
(MFCS'03),
Hotel Sorea, Bratislava, Slovakia, 25–29 August 2003.
 In the 10th International Conference on Automata and Formal Languages
(AFL'02), Hotel Aranybika, Debrecen,
Hungary, 13–18 August 2002.
 In the Student Session of the 13th European Summer School in Logic, Language and Information
(ESSLLI'01), Helsinki, Finland, 13–24 August 2001.
 In the ASL European Summer Meeting, Logic Colloquium
(LC'01), Vienna, Austria,
6–11 August 2001.
 In the ASL European Summer Meeting, Logic Colloquium
(LC'00),
Paris, France, 23–31 July 2000.
 In the ASL European Summer Meeting, Logic Colloquium
(LC'99), Utrecht, The Netherlands,
1–6 August 1999.
 Poster Presentations:
 In the Fourth European Congress of Mathematics
(4ECM), Stockholm, Sweden, 27 June – 2 July 2004.
 Participation in Summer Schools:
 Summer School and Workshop on
"Proof Theory, Computation and Complexity",
Technische Universität Dresden, Germany, 23 June – 4 July 2003.
 Summer School on "Structural Theory of Automata, Semigroups and Universal Algebra",
NATO Advanced Study Institute,
Seminaire de Mathematiques Superieures,
Departement de Mathematiques et de Statistique, Universite de Montreal, Canada, 7–18 July 2003.
 Postdoctoral Visits:
 October 2006 – September 2007: Department of Mathematics, Institute for Advanced Studies in Basic Sciences
(IASBS),
Zanjan, Iran.
 September 2006: Research Group for Theoretical Computer Science and Logic
(Logic and Theory Group), Institute of Computer Science and Applied Mathematics, Universität Bern,
Bern, Switzerland.
 April 2006:
Department of Philosophy (and Religious Studies), Universiteit Utrecht, Utrecht, The Netherlands.
 September & October 2005:
Department of Mathematics (and Statistics), University of Turku,
Turku, Finland.
Publications
 Refereed Journal Papers:
 Saeed Salehi,
Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories,
in Archive for Mathematical Logic, Vol. 52, No. 34 (2013)
pages 317–333.
 Saeed Salehi,
Herbrand Consistency of Some Arithmetical Theories,
in The Journal of Symbolic Logic, Vol. 22, No. 3 (2012)
pages 807–827.
 Saeed Salehi,
Separating Bounded Arithmetical Theories by Herbrand Consistency,
in Journal of Logic and Computation, Vol. 77, No. 3 (2012)
pages 545–560.
 Saeed Salehi & Magnus Steinby,
Varieties of ManySorted Recognizable Sets,
in Pure Mathematics and Applications, Vol. 18, No. 34 (2007)
pages 319–343.
 Saeed Salehi & Magnus Steinby,
Tree Algebras and Varieties of Tree Languages,
in Theoretical Computer Science, Vol. 377, No. 13 (2007)
pages 1–24.

Tatjana Petković & Saeed Salehi,
Positive Varieties of Tree Languages,
in Theoretical Computer Science, Vol. 347, No. 1 (2005)
pages 1–35.
 Saeed Salehi, Polynomially
Bounded Recursive Realizability,
in Notre Dame Journal of Formal Logic, Vol. 46, No. 4 (2005)
pages 407–417.
 Saeed Salehi, Congruence
Preserving Functions of Wilke's Tree Algebras,
in Algebra Universalis, Vol. 53, No. 4 (2005)
pages 451–470.
 Saeed Salehi, Varieties
of Tree Languages Definable by Syntactic Monoids,
in Acta Cybernetica, Vol. 17, No. 1 (2005)
pages 21–41.
 Saeed Salehi, Provably
Total Functions of Basic Arithmetic,
in Mathematical Logic Quarterly, Vol. 49, No. 3 (2003)
pages 316–322.
 Mohammad Ardeshir &
Wim Ruitenburg & Saeed Salehi,
Intuitionistic
Axiomatizations for Bounded Extension Kripke Models,
in Annals of Pure and Applied Logic, Vol. 124, No. 13, (2003)
pages 267–285.
 Saeed Salehi, Decidable
Formulas of Intuitionistic Primitive Recursive Arithmetic,
in Reports on Mathematical Logic, No. 36 (2002)
pages 55–61.
 Refereed Conference Papers:
 ShortRefereed Conference Papers:
 Accepted or Submitted Papers:
 Books:


