Name  

Badaev Serikzhan

Post

Teaching area and designation
Professor, Doctor of Physical and Mathematical Sciences (Mathematical Logic, Algebra and Number Theory). Professor of Fundamental Mathematics Department

Academic career

Initial academic appointment

Institution

Year

Student

Novosibirsk State University, Russia

1966-1971

Graduate Student (Aspirant)  

Novosibirsk State University, Russia

1971- 1974

Full Professor of Mathematics  

Kazakhstan Ministry of Education and Science

2004

Doctorate (subject)

Institution

Year

Minimal Numberings (Doctoral thesis in Mathematical Logic, Algebra and Number Theory)

The Sobolev Institute of Mathematics, Novosibirsk, Russia

1996

Upper Semilattices of Computable Numberings (Candidate thesis in Mathematical Logic, Algebra and Number Theory)

Novosibirsk State University, Russia

1978

Master degree (subject)
Incompairable numberings

Institution
Novosibirsk State University, Russia

Year
1971

Undergraduate degree (subject) 

Institution

Year

Student

Department of Mathematics, Novosibirsk State University, Russia

1966 - 1971

Employment

Position

Employer

Period

Lecturer

Al-Farabi Kazakh National University

1974-1991

Senior Scientific Researcher 

Institute of Institute of Mathematics, Kazakh National Academy of Sciences

1991- 1998

Professor, Head of the Department for Geometry, Algebra and Mathematical Logic 

Al-Farabi Kazakh National University

1998-2011

Professor of the Fundamental Mathematics Department

Al-Farabi Kazakh National University

since 2011

Research and development projects over the last 5 years

Name of project or research focus

Period and any other information

Partners, if applicable

Amount of financing

Computability in Hierarchies

2009-2011

1 million tenge per year

Computability and Algebraic Structures

2012-2014

25 millions tenge per year

Important publications over the last 5 years

Selected recent publications

Author(s)

Title

Publisher, place of publication, date of publication or name of periodical, volume, issue, page numbers

1

Badaev S.A., Lempp S.

A decomposition of the Rogers semilattice of a family of d.c.e. sets.

Journal of Symbolic Logic, 2009, vol. 74, n. 2, pp. 618-640.

2

Badaev S.A.

Computable numberings in the hierarchies

Bulletin of Symbolic Logic, 2010, v.16, no. 1, p. 99.

3

Abeshev K., Badaev S.A., Manat M.

Families without minimal numberings.

Bulletin of Symbolic Logic, 2010, v.16, no. 1, p. 109.

4

Ambos-Spies K., Badaev S., Goncharov S.  

Inductive inference and computable numberings.

Theoretical Computer Science, 2011, v. 412, Issue 18, pp. 1652-1668.

5

Badaev S.A.

Principal numberings of finite families

Bulletin of Symbolic Logic, 2012, vol. 18, no. 3, pp. 439-440.

6

Badaev S.A., Manat Mustafa, Andrea Sorbi

Rogers semilattices of families of two embedded sets in the Ershov hierarchy.

Mathematical Logic Quarterly, 2012, vol. 58, no. 4-5, pp. 366-376.

7

Badaev S.A.

Linear Algebra and Analytical Geometry, part 1. 2^nd edition. (Tutorial in Kazakh).

Al-Farabi Kazakh National University, Almaty, 2010.

8

Badaev S.A.

Linear Algebra and Analytical Geometry. Linear Operators and Quadratic Forms, part 3. (Tutorial in Kazakh).

Al-Farabi Kazakh National University, Almaty, 2011.

Activities in specialist bodies over the last 5 years

Organization

Role

Period

Mathematical Reviews

Reviewer

Since 2008

Algebra and Logic

Reviewer

Since 2008