ProgramPhD Scientific Computing & Industrial Modeling
Graduating Class of2020
Research InterestsArtificial Intelligence, Automated Theorem Proving
Affiliate InstitutionKwame Nkrumah University of Science and Technology
Degree ObtainedMPhil. Pure Mathematics
I am a God fearing Christian and a student at NIMS currently doing my doctorate and researching on Automated Theorem Proving. I completed both my undergraduate and masters studies at KNUST in Mathematics and Pure Mathematics respectively. In my undergraduate study, I did a research in Functional Analysis. The research was about finding the difference between Banach and Vector Spaces. In the research, we tried to introduce topological and algebraic properties on Banach and Vector Spaces in order to compare their differences. Even though Banach Spaces are subsets of Vector Spaces, we were able to find some topological and algebraic differences between them like how every Banach Space is a topological vector space but not every vector space is, all Banach Spaces are Hausdorff topological spaces but not all vector spaces are Hausdorff spaces, etc., which I completed far ahead of time.
In my post graduate studies, I did a research in Mathematical Morphology. In this study, I tried to study the morphological concepts such as Dilation, Erosion, Opening and Closing. However since the study looked too applied for my taste, I skewed the research towards the pure part by trying to improve the algebraic structure of the morphological operators. In the research, I gave mathematical proofs for partitioning the images or sets that are used in the morphological operation, using set theory axioms.
Even though my research areas is now different from what my interest was, I believe this have made me quite versatile in researching.
Developing new and faster methods for Automated Theorem Proving.