Manat Mustafa, PhD

Assistant Professor

Accepting PhD Students

  • 10 Citations
  • 2 h-Index
20122020
If you made any changes in Pure these will be visible here soon.

Personal profile

External positions

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Semilattice Mathematics
Ershov Hierarchy Mathematics
Equivalence relation Mathematics
Reducibility 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.

Projects 2018 2020

Computable model theory and computable enumerable equivalence relations

Mustafa, M., Bazhenov, N. & Mars, Y.

3/20/1812/31/20

Project: Research project

Model Theory
Equivalence relation
Computable Structure
Computability Theory
Reducibility

Research Output 2012 2019

  • 10 Citations
  • 2 h-Index
  • 11 Article
  • 1 Chapter
  • 1 Conference contribution
  • 1 Working paper

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, Annals of Pure and Applied Logic, p. 1-30, 30 p.

Research output: Working paper

Semilattice
Open Problems

A generalisation of the exponential distribution and its applications on modelling skewed data

Mustafa, M., Zubair, M., Alzaatreh, A., Tahir, M. H. & Mansoor, M., May 16 2018, In : Statistical Theory and Related Fields . 2, 1, p. 68-79 1.

Research output: Contribution to journalArticle

Exponential distribution
Weibull Distribution
Probability Weighted Moments
Modeling
Moment

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

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

Sergey Ospichev

Manat Mustafa (Host)
Nov 1 2018Nov 16 2018

Activity: Hosting a visitor typesHosting an academic visitor