Projects per year
Personal profile
Professional Information
Dr. Manat Mustafa received his Ph.D. in Mathematics from Al-Farabi Kazakh National University in Almaty in 2012. He is currently an Associate Professor in the Department of Mathematics at Nazarbayev University. Prior to joining Nazarbayev University, he was a Research Fellow at the School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore. From 2003 to 2009, he taught mathematics at the Republican Specialized Physics-Mathematics Secondary Boarding School for Gifted Students named after O. Zhautykov in Almaty. His research interests include mathematical logic and computability theory.
External positions
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Computable numberings: interaction with algorithmic learning theory and algebraic structures.
Mustafa, M. (PI)
1/1/25 → 12/31/27
Project: Government
-
Algebraic and elementary properties of Rogers semilattices and Reverse mathematics
Mustafa, M. (PI), Tleuliyeva, Z. (Other participant), Kamet, M. (Other participant) & Tursynov, A. (Other participant)
1/1/24 → 12/31/26
Project: FDCRGP
-
Wireless Power and Full-Duplex Data Transfer for Unmanned Aerial Vehicle using Transmission Line and Power/Data Frequency Division Multiplexing: A Hybrid System Development
Bagheri, M. (PI), Mustafa, M. (Co-PI), Saukhimov, A. (Co-PI), Uzakbaiuly, B. (Other Faculty/Researcher), Zollanvari, A. (Other Faculty/Researcher), Hajizadeh, A. (Other Faculty/Researcher), Namadmalan, A. (Other Faculty/Researcher), Akmurzina, F. (Administrative and clerical specialist), Kapanov, A. (Master student/Bachelor degree holder), Beket, M. (Undergraduate student) & Kospanov, T. (Undergraduate student)
1/1/24 → 12/31/26
Project: CRP
-
Development of AI-integrated Randomly Hopped LFM Photonic RADAR for Mitigating Interferences and Attackers in Autonomous Vehicles
Molardi, C. (PI), Mustafa, M. (Co-PI), Pavlenko, V. V. (Co-PI), Nakarmi, B. (Co-PI), Muthaiyah, S. (Other participant), Pan, S. (Other participant) & Wang, X. (Other participant)
1/1/22 → 12/31/24
Project: CRP
-
Theory of Computable Numberings and Reverse Mathematics
Mustafa, M. (PI), Bazhenov, N. (Co-PI) & Tleuliyeva, Z. (Other Faculty/Researcher)
1/1/21 → 12/31/23
Project: FDCRGP
-
Elementary Theories of Rogers Semilattices in the Analytical Hierarchy
Bazhenov, N. & Mustafa, M., Jan 1 2025, Higher Recursion Theory and Set Theory. World Scientific Publishing Co., p. 1-18 18 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
1 Citation (Scopus) -
On learning down-sets in quasi-orders, and ideals in Boolean algebras
Bazhenov, N. & Mustafa, M., Mar 2025, In: Theory of Computing Systems. 69, 1, 1.Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus) -
On Learning Existentially Definable Subsets in a Computable Structure
Bazhenov, N. & Mustafa, M., 2025, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations - 21st Conference on Computability in Europe, CiE 2025, Proceedings. Beckmann, A., Oitavem, I. & Manea, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 143-158 16 p. (Lecture Notes in Computer Science; vol. 15764 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Free bicommutative superalgebras
Drensky, V., Ismailov, N., Mustafa, M. & Zhakhayev, B., Aug 15 2024, In: Journal of Algebra. 652, p. 158-187 30 p.Research output: Contribution to journal › Article › peer-review
Open Access2 Citations (Scopus) -
On Arithmetical Numberings in Reverse Mathematics
Bazhenov, N., Fiori-Carones, M. & Mustafa, M., 2024, Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Proceedings. Levy Patey, L., Pimentel, E., Galeotti, L. & Manea, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 126-138 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14773 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Activities
-
Fourteenth International Conference on Computability, Complexity and Randomness
Mustafa, M. (Organizer) & Varol, H. A. (Organizer)
Jun 23 2019 → Jun 25 2019Activity: Participating in event › Participation in workshop, seminar
-
Asian Logic Conference
Mustafa, M. (Organizer), Tourassis, V. (Organizer), Sica, F. (Organizer) & Kadyrsizova, Z. (Organizer)
Jun 17 2019 → Jun 21 2019Activity: Participating in event › Participation in workshop, seminar
-
Nanyang Technological University
Mustafa, M. (Visiting researcher)
Oct 6 2018 → Oct 13 2018Activity: Visiting types › Visiting an external research institution
-
Sergey Ospichev
Mustafa, M. (Host)
Nov 1 2018 → Nov 16 2018Activity: Hosting a visitor/event › Hosting a research visitor
-
University of Wisconsin-Madison
Mustafa, M. (Visiting researcher)
Dec 10 2018 → Dec 22 2018Activity: Visiting types › Visiting an external research institution