CV of Saeed Salehi
The mathematical files here are in PDF format,
for viewing them Acrobat Reader is needed.
Date of Birth: 16 / 09 (September) / 1975
Nationality: Iranian; My home-town is
Tabriz (see here
for more about it).
Post-doctoral visits:
Postgraduate Education:
My Supervisors and Grand-Supervisors
Graduate Education:
Undergraduate Education:
Reviewer for:
Referee for:
Honors and Awards:
- The first rank in the national Mathematical Olympiad of University
Students 1997,
awarded by the Minister of Culture and
High Education, Iran
- The first ranked graduate of Mathematics, Iran 1997,
awarded by the Minister of Culture and
High Education, Iran
- One of the top undergraduate students in Sharif University of Technology,
Tehran
- Tableau from the university's
dean (in Farsi)
Research Interests:
- Mathematical
Logic
- Weak Arithmetics
- Intuitionistic and Constructive Mathematics
-
Theoretical Computer Science
- Theory of Automata and Formal Languages;
Tree Automata and Tree Languages
- Finite Universal Algebra, and Finite Model Theory
Research Experience:
-
Assistant Researcher
in Mathematical Logic at the Logic
Group of
the Institute for studies in Theoretical Physics and Mathematics, IPM, 1997-1999
Talks in International Conferences:
- Invited:
- In Algebraic Theory of Automata and Logic, a
workshop organized by
Z. Ésik, H. Straubing, P. Weil and Th. Wilke,
as a satellite event of the conference
Computer Science Logic 2006 (CSL'06),
Szeged, Hungary, September 30 - October 1, 2006.
- In the 28th International Symposium on Mathematical Foundations of
Computer Science (MFCS'03),
Bratislava, Hotel Sorea, Slovakia, August 25-29, 2003
- In the 10th International Conference on Automata and Formal
Languages (AFL'02),
Debrecen, Hotel Aranybika, Hungary, August 13-18, 2002
- In the Student Session of
the 13th European Summer School in Logic,
language and Information (ESSLLI'01),
Helsinki, Finland, August 13-24, 2001
- Title: Unprovability of Herbrand Consistency in Weak Arithmetics
- Paper in the Proceedings of
the student session of the ESSLLI'01, pp. 265-274
- In the ASL European Summer Meeting, Logic Colloquium'2001
(LC'01), Vienna, Austria, August 6-11, 2001
- In the ASL European Summer Meeting, Logic Colloquium'2000 (LC'00), Paris, France,
July 23-31, 2000
- In the ASL European Summer Meeting, Logic Colloquium'99
(LC'99
), Utrecht, The Netherlands, August 1-6, 1999
- Poster Presentation:
- In the Fourth European Congress of Mathematics
(4ECM), Stockholm, Sweden, June 27 - July 2, 2004
- Abstract;
Title: A Model-Theoretic Proof of an Incompleteness Theorem
- Poster (in Slides format)
Publications:
Here is my
List of Publications
with brief comments, categorized by their fields.
-
Tatjana Petkovic & 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, "A Completeness Property of Wilke's Tree Algebras",
in Proceedings of MFCS 2003,
LNCS 2747, Springer-Verlag 2003,
pages 662 - 670
- 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. 1-3, (2003)
pages 267 - 285
- Saeed Salehi, "Decidable Formulas of Intuitionistic Primitive
Recursive Arithmetic",
in Reports on Mathematical Logic, No. 36 (2002),
pages 55-61
- Submitted:
Teaching Experience:
Participation in Summer Schools:
- Summer School and Workshop on
"Proof Theory, Computation and Complexity",
Technische Universität
Dresden, Germany, June 23-July 4, 2003
- Photo with Professor Roy Dyckhoff and Ms. Ge Chen
- 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, July 7-18, 2003
- Photo of the participants
Grants:
- 1999-2000 Study Grant at
Institute of Mathematics
of the Polish Academy of Sciences
- 2000-2005 Study Grant at
Turku Centre for Computer Science
- Travel Grants for participating and presenting talks/posters in
- In the Fourth European Congress of Mathematics
(4ECM), Stockholm, Sweden, 2004
- In the 13th European Summer School in Logic,
language and Information (ESSLLI'01),
Helsinki, Finland, 2001
- In the ASL European Summer Meeting, Logic Colloquium'2001
(LC01), Vienna, Austria, 2001
- In the ASL European Summer Meeting, Logic Colloquium'2000 (LC00), Paris, France,
2000
- In the ASL European Summer Meeting, Logic Colloquium'99
(LC99
), Utrecht, The Netherlands, 1999
Membership in:
Languages:
References:
- Professor Magnus Steinby
steinby@utu.fi
Department of Mathematics, University of Turku, Finland 20014
- Professor Juhani Karhumaki
karhumak@cs.utu.fi
Department of Mathematics, University of Turku, Finland 20014
- Professor Bijan Zangeneh
zangeneh@sina.sharif.ir
Department of Mathematics, Sharif University of Tech.
11365-9415 Tehran, Iran
- Professor Zofia Adamowicz
zosiaa@impan.gov.pl
Institute of Mathematics, Polish Academy of Sciences,
00-956 Warszawa 10, Poland
- Professor Patrick Sibelius
patrick.sibelius@abo.fi
Department of Computer Science, Abo Akademi, Abo Finland 20540
- Professor Wolfgang Thomas
thomas@informatik.rwth-aachen.de
Lehrstuhl Informatik VII, RWTH Aachen, Ahornstrasse 55, 52056 Germany
- Professor Thomas Wilke
wilke@ti.informatik.uni-kiel.de
Institut f�r Informatik und Praktische Mathematik,
Christian-Albrechts-Univ. zu Kiel, 24098 Kiel, Germany
Back to Home-Page