Manat Mustafa, PhD

Assistant Professor

Accepting PhD Students

  • 14 Citations
  • 3 h-Index
20122020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

External positions

Fingerprint Dive into the research topics where Manat Mustafa is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 14 Citations
  • 3 h-Index
  • 13 Article
  • 2 Conference contribution
  • 1 Chapter
  • 1 Other contribution

Classifying equivalence relations in the Ershov hierarchy

Bazhenov, N., Mustafa, M., San Mauro, L., Sorbi, A. & Yamaleev, M., Feb 13 2020, In : Archive for Mathematical Logic. p. 1-30 30 p., 1.

Research output: Contribution to journalArticle

Open Access
  • Bounded Reducibility for Computable Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., Jan 1 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (eds.). Springer Verlag, p. 96-107 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Bounded reducibility for computable numberings.

    Bazhenov, N., Mustafa, M. & Ospichev, S., Jun 19 2019, In : Lecture Notes in Computer Science. p. 1 12 p., 1.

    Research output: Contribution to journalArticle

  • Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., Jan 1 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). Springer Verlag, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11436 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Computable Isomorphisms of Distributive Lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., Mar 6 2019, Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). 1 ed. Springer International Publishing, Vol. 11436. p. 28-41 14 p. (Lecture Notes in Computer Science, vol 11436. Springer, Cham).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Activities

    • 4 Visiting an external research institution
    • 2 Participation in workshop, seminar
    • 2 Hosting a research visitor

    Asian Logic Conference

    Manat Mustafa (Organizer), Vassilios Tourassis (Organizer), Francesco Sica (Organizer), Zhibek Kadyrsizova (Organizer)
    Jun 17 2019Jun 21 2019

    Activity: Participating in eventParticipation in workshop, seminar

    Fourteenth International Conference on Computability, Complexity and Randomness

    Manat Mustafa (Organizer), Huseyin Atakan Varol (Organizer)
    Jun 23 2019Jun 25 2019

    Activity: Participating in eventParticipation in workshop, seminar

    Nanyang Technological University

    Manat Mustafa (Visiting researcher)
    Oct 6 2018Oct 13 2018

    Activity: Visiting typesVisiting an external research institution

    Sergey Ospichev

    Manat Mustafa (Host)
    Nov 1 2018Nov 16 2018

    Activity: Hosting a visitor/eventHosting a research visitor

    University of Wisconsin-Madison

    Manat Mustafa (Visiting researcher)
    Dec 10 2018Dec 22 2018

    Activity: Visiting typesVisiting an external research institution