Badaev Serikzhan
Name |
Badaev Serikzhan |
|||||||
Post |
Teaching area and designation |
|||||||
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) |
Institution |
Year |
||||||
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. 2nd 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 |