Manat Mustafa, PhD

Assistant Professor

Accepting PhD Students

  • 13 Citations
  • 3 h-Index
20122019
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.

  • 1 Similar Profiles
Semilattice Mathematics
Reducibility Mathematics
Ershov Hierarchy Mathematics
Equivalence relation Mathematics
Distributive Lattice Mathematics
Notation Mathematics
Isomorphism Mathematics
Undecidability Mathematics

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

Research Output 2012 2019

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

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

Reducibility
Semilattice
Algorithmic Complexity
Natural number
Family

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

Reducibility
Semilattice
Algorithmic Complexity
Natural number
Family

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

Distributive Lattice
Reducibility
Equivalence relation
Algebra
Isomorphism

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

Distributive Lattice
Reducibility
Equivalence relation
Isomorphism
Computable Structure

Reductions between types of numberings

Herbert, I., Jain, S., Lempp, S., Mustafa, M. & Stephan, F., Jul 4 2019, In : Annals of Pure and Applied Logic. p. 1-30 30 p.

Research output: Contribution to journalArticle

Semilattice
Open Problems

Activities 2015 2019

  • 4 Visiting an external academic institution
  • 2 Participation in workshop, seminar, course
  • 2 Hosting an academic visitor

Asian Logic Conference

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

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Fourteenth International Conference on Computability, Complexity and Randomness

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

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Sergey Ospichev

Manat Mustafa (Host)
Nov 1 2018Nov 16 2018

Activity: Hosting a visitor typesHosting an academic visitor

University of Wisconsin-Madison

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

Activity: Visiting an external institution typesVisiting an external academic institution

Nikolay Bazhenov

Manat Mustafa (Host)
Nov 1 2018Nov 16 2018

Activity: Hosting a visitor typesHosting an academic visitor